partial equivalence relation
Also found in: Wikipedia.
partial equivalence relation
(PER) A relation R on a set S where R is symmetric (x R y => y
R x) and transitive (x R y R z => x R z) and where there may
exist elements in S for which the relation is not defined. A
PER is an equivalence relation on the subset for which it is
defined, i.e. it is also reflexive (x R x).
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive
Def 1.3: A binary relation [rho] defined on S where S is an inverse semigroup is called a
partial equivalence relation on S iff [rho] is symmetric and transitive.
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.