Refleksiva rilato: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Addbot (diskuto | kontribuoj) e Roboto: Forigo de 25 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q621850) |
e Fonto-aro → argumentaro, celo-aro → celaro laŭ NPIV http://vortaro.net/#argumentaro http://vortaro.net/#celaro |
||
Linio 3: | Linio 3: | ||
:<math>\forall x \in X: x \;\varrho\; x</math>. |
:<math>\forall x \in X: x \;\varrho\; x</math>. |
||
'''Rimarku''': En ĉi tiu rilato [[ |
'''Rimarku''': En ĉi tiu rilato, la [[argumenaro]] kaj la [[celaro]] estas samaj. |
||
'''Malrefleksiva rilato''' aŭ '''kontraŭrefleksiva rilato''' estas [[rilato]], kiu estas por [[orda duopo]] <math>(x, x)</math>. |
'''Malrefleksiva rilato''' aŭ '''kontraŭrefleksiva rilato''' estas [[rilato]], kiu estas por [[orda duopo]] <math>(x, x)</math>. |
Kiel registrite je 19:56, 10 mar. 2020
Refleksiva rilato estas rilato, kiu estas por ĉiuj orda duopo . Dupartan rilaton oni nomas refleksiva, kiam:
- .
Rimarku: En ĉi tiu rilato, la argumenaro kaj la celaro estas samaj.
Malrefleksiva rilato aŭ kontraŭrefleksiva rilato estas rilato, kiu estas por orda duopo . Duparta rilato estas kontraŭrefleksiva se:
- .
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.