Свойства бинарных отношений.

Определение. Произведением двух бинарных отношений R и S, заданных на множестве А, называется множество

Знак | называется штрих Шеффера и обозначает антиконъюнкцию.

Определение. Обратным (инверсным) отношением к отношению R, заданному на множестве А, называется отношение R–1, определяемое равенством:

Если R, S и T – бинарные отношения на множестве А, то выполняются следующие равентсва: