Refleksiva rilato estas duvalenta rilato, kiu validas por ĉiu orda duopo ( x , x ) .
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.
This article uses material from the Wikipedia Esperanto article Refleksiva rilato, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). La enhavo estas disponebla laŭ CC BY-SA 4.0, se ne estas alia indiko. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Esperanto (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.