Общие понятия бинарных отношений

Бинарные отношения – это отношения, которые могут выполняться или не выполняться между элементами одного множества. Если –– множество решений (альтернатив), тогда отношение на множестве - это подмножество , т.е. - множество пар , определённые на декартовом произведении (), для которых выполняется определённое (заданное) свойство.