Total Relation

Jump to navigation Jump to search

A Total Relation is a Binary Relation that is defined for all pairs in a predefined set.


  • (Wikipedia, 2009) ⇒
    • In mathematics, a binary relation R over a set X is total if it holds for all a and b in X that a is related to b or b is related to a (or both).
    • In mathematical notation, this is: \forall a, b \in X,\ a R b \or b R a.