Concept

Partial equivalence relation

Summary
In mathematics, a partial equivalence relation (often abbreviated as PER, in older literature also called restricted equivalence relation) is a homogeneous binary relation that is symmetric and transitive. If the relation is also reflexive, then the relation is an equivalence relation. Definition Formally, a relation R on a set X is a PER if it holds for all a, b, c \in X that:

if a R b, then b R a (symmetry)

if a R b and b R c, then a R c (transitivity)

Another more intuitive definition is that R on a set X is a PER if there is some subset Y of X such that R \subseteq Y \times Y and R is an equivalence relation on Y. The two definitions are seen to be equivalent by taking Y = { x \in X \mid x,R,x}. Properties and applications The following prop
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading