Refleksiva rilato

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo (x,x). Dupartan rilaton \varrho \subset X\times X oni nomas refleksiva, kiam:

\forall x \in X: x \;\varrho\; x.

Rimarku: En ĉi tiu rilato fonto-aro kaj celo-aro estas sama.

Malrefleksiva rilatokontraŭrefleksiva rilato estas rilato, kiu estas por orda duopo (x, x). Duparta rilato \varrho \subset X\times X estas kontraŭrefleksiva se:

\forall x \in X: \lnot (x \;\varrho\; x).

Noto ke malrefleksiva rilatokontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, malsimetria rilato ne estas ĝenerale la samo kiel kontraŭsimetria rilato.

Ekzemploj[redakti | redakti fonton]

Vidu ankaŭ[redakti | redakti fonton]