Обратное отношение к бинарному отношению[]
- - множества,
- - бинарное отношение.
Множество — обратное отношение (англ. inverse relation, нем. inverse Relation) к бинарному отношению , если для любых двух элементов множества [1] упорядоченная пара первого элемента множества и второго элемента множества принадлежит множеству тогда и только тогда, когда упорядоченная пара второго элемента множества и первого элемента множества принадлежит отношению :
Обозначим .
- ↑ для определённости назовём один из данных элементов множества первым элементом множества , другой элемент множества - вторым элементом множества