Refleksiva rilato

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 rilato aŭ kontraŭ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 rilato aŭ kontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, malsimetria rilato ne estas ĝenerale la samo kiel kontraŭsimetria rilato.