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

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

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

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

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

< Предыдущая		Следующая >