Refleksiva rilato

El Vikipedio, la libera enciklopedio

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 | redakti fonton]

Vidu ankaŭ[redakti | redakti fonton]