выявленное сравнением отношение несовместимости, неравенства между минимум двумя объектами (совокупностями их признаков), разновременными состояниями, родами или группами объектов, обусловленное тем, что один из них обладает признаками (совокупностью признаков), отсутствующими у другого. Установление р. является положительным результатом процесса дифференциации или отрицательным результатом идентификации. Конструируется в форме вывода о принадлежности к разным множествам  или вывода об отсутствии тождества единичного объекта.