Философский словарь - отношение в логике

то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным является, напр., О. "быть больше", тернарным О. "находиться между" и т.д. .