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

Связанное с бинарными отношениями, которое понадобится в дальнейшем.Рефлексивность, свойство бинарных (двуместных, двучленных).Бинарные отношения (отношения степени 2).Еще пример бинарного отношения.вынуждают и свойство Р., поскольку последнее свойство следует из первых двух.Множество можно представить себе как совокупность элементов, обладающих некоторым общим свойством.В свою очередь, каждый n-местный предикат задает некоторое n-арное отношение.Если это не вызывает путаницы, удобно и отношение, и его предикат обозначать одной и той же буквой.Например, отношение имеет предикат .Предикат данного отношения есть просто утверждение .