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 rilato aŭ kontraŭrefleksiva rilato estas duvalenta rilato, kiu validas por neniu orda duopo . Pli rigore, duvalenta rilato nomiĝas kontraŭrefleksiva (aŭ, sinonime, antirefleksiva aŭ malrefleksiva), 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
Vidu ankaŭ
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.