Refleksiva rilato

Refleksiva rilato estas duvalenta rilato, kiu validas por ĉiu orda duopo  .

Pli formale, duvalentan rilaton  oni nomas refleksiva, kiam:
.

Rimarku: En ĉi tiu rilato, la fonta aro kaj la cela aro estas samaj.

Malrefleksiva rilato, antirefleksiva rilato aŭ kontraŭrefleksiva rilato estas duvalenta rilato, kiu validas por neniu orda duopo  .
Pli rigore, duvalenta rilato  nomiĝas malrefleksiva (aŭ, sinonime, antirefleksiva aŭ kontraŭrefleksiva), se:

.

Notu, ke malrefleksiva rilato, antirefleksiva rilato kaj kontraŭrefleksiva rilato estas la samo. Malsimile al ĉi tio, antisimetria rilato, ĝenerale, ne estas la samo kiel malsimetria/kontraŭsimetria/asimetria rilato.

 Ekzemploj 

 Vidu ankaŭ 

Kategorio:Rilatoj