This is an old revision of the document!
Reversed relation
Definition
| $ R\in\text{Rel}(X,Y) $ |
| $ \langle x,y \rangle \in R^\smile $ |
|---|
| $ \langle y,x \rangle \in R $ |
|---|
Ramifications
Reference
Mizar files: RELAT_1
Parents
Set constructor
Context
This is an old revision of the document!
| $ R\in\text{Rel}(X,Y) $ |
| $ \langle x,y \rangle \in R^\smile $ |
|---|
| $ \langle y,x \rangle \in R $ |
|---|
Mizar files: RELAT_1
Set constructor
