partial equivalence relation


partial equivalence relation

(PER) A relation R on a set S where R is symmetric (x R y => yR x) and transitive (x R y R z => x R z) and where there mayexist elements in S for which the relation is not defined. APER is an equivalence relation on the subset for which it isdefined, i.e. it is also reflexive (x R x).