"конечное множество понятий", "конечное множество отношений"...
Примерно как понятия "сила", "мощность", "энергия" у телевизионных болтунов - взаимозаменяемые понятия.
Что вот, например, такое - "отношения между понятиями"? Это подмножества декартовых произведений пар понятий? (А понятия, знамо дело, тоже множества - ну как типы у теоретиков типов.)