Processing math: 100%

Reversed relation

Set

context R∈Rel(X,Y)
definiendum ⟨x,y⟩∈R⌣
postulate ⟨y,x⟩∈R

Ramifications

Reference

Mizar files: RELAT_1

Parents

Context

Binary relation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms