Concept

Partial equivalence relation

Résumé
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
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement