Refleksiva rilato: Malsamoj inter versioj

192 bitokojn aldonis ,  antaŭ 13 jaroj
sen resumo de redaktoj
'''Rimarku''': En ĉi tiu rilato [[fonto-aro]] kaj [[celo-aro]] estas sama.
 
'''Malrefleksiva rilato''' aŭ '''kontraŭrefleksiva rilato''' estas [[rilato]], kiu estas por [[orda duopo]] <math>(x, x)</math>.
Duparta rilato <math>\varrho \subset X\times X</math> oni nomasestas ''kontraŭrefleksiva'', kiamse:
 
:<math>\forall x \in X: \lnot (x \;\varrho\; x)</math>.
 
Noto ke ''malrefleksiva rilato'' aŭ ''kontraŭrefleksiva rilato'' estas la samo. Malsimile al ĉi tio, ''[[malsimetria rilato]]'' ne estas ĝenerale la samo kiel ''[[kontraŭsimetria rilato]]''.
 
== Ekzemploj ==
34 175

redaktoj