Mathematika Wiki
Advertisement

Совокупность рефлексивных отношений на множестве[]

Множество совокупность иррефлексивных отношений (англ. set of irreflexive relations, нем. Menge der irreflexiv Relationen) на множестве , если произвольное бинарное отношение на множестве [1] принадлежит множеству тогда и только тогда, когда бинарное отношение и диагональ множества являются взаимнодизъюнктными множествами:

Обозначим .

Примечания[]

  1. для определённости назовём данное бинарное отношение на множестве бинарным отношением

Иррефлексивное отношение на множестве[]

Множество иррефлексивное отношение (англ. irreflexive relation, нем. irreflexive Relation) на множестве , если множество является элементом совокупности рефлексивных отношений на множестве :

Обозначим .

Advertisement