Refleksiva rilato
El Vikipedio
Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo (x,x). Dupartan rilaton 
oni nomas refleksiva, kiam:
.
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 estas kontraŭrefleksiva se:
.
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.
