Partial equivalence relation
In mathematics, a partial equivalence relation (often abbreviated as PER, in older literature also called restricted equivalence relation) on a set
is a relation that is symmetric and transitive. In other words, it holds for all
that:
If is also reflexive, then
is an equivalence relation.