Partial Equivalence Relation

From GM-RKB
Jump to navigation Jump to search

A Partial Equivalence Relation is a Binary Relation that ...



References

  • (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Partial_equivalence_relation
    • In mathematics, a partial equivalence relation (often abbreviated as PER) R on a set X is a relation that is symmetric and transitive. In other words, it holds for all a, b, c \in X that:
      • 1. if aRb, then bRa (symmetry)
      • 2. if aRb and bRc, then aRc (transitivity)
    • If R is also reflexive, then R is an equivalence relation.