Total relation
Set
| context | $X$ |
| definiendum | $ R\in\mathrm{TotalRel}(X) $ |
| context | $ R\ \in\ \mathrm{Rel}(X) $ |
| $x,y\in X$ |
| postulate | $ xRy\ \lor\ yRx $ |
Discussion
Wikipedia: Total relation
Parents
Subset of
| context | $X$ |
| definiendum | $ R\in\mathrm{TotalRel}(X) $ |
| context | $ R\ \in\ \mathrm{Rel}(X) $ |
| $x,y\in X$ |
| postulate | $ xRy\ \lor\ yRx $ |
Wikipedia: Total relation
