Refleksiva rilato

(Alidirektita el Kontraŭrefleksiva rilato)
Estas neniuj versioj de ĉi tiu paĝo, do ĝi eble ne estis kvalite kontrolita.

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.

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

.

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

Ekzemploj

redakti

Vidu ankaŭ

redakti