Total relation
Set
| context | X |
| definiendum | R∈TotalRel(X) |
| context | R ∈ Rel(X) |
| x,y∈X |
| postulate | xRy ∨ yRx |
Discussion
Wikipedia: Total relation
Parents
Subset of
| context | X |
| definiendum | R∈TotalRel(X) |
| context | R ∈ Rel(X) |
| x,y∈X |
| postulate | xRy ∨ yRx |
Wikipedia: Total relation
