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

Binary relation on a set