Kontraŭsimetria rilato

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Kontraŭsimetria rilato estas duparta rilato por orda duopo tial ke:

\forall_{x,y \in X}\; x\,\varrho\, y\implies \lnot(y\,\varrho\, x).

Aliaj vortoj: Se rilato estas por orda duopo (x, y), tiam ne estas por orda duopo (y, x).

Rilato estas kontraŭsimetria rilato nur tiam ĝi estas malsimetria kaj kontraŭrefleksiva rilato.

Noto ke 'kontraŭsimetria' ne estas la logika neo de 'simetria'. Ankaŭ, kontraŭsimetria ne estas ĝenerale la samo kiel malsimetria. La problemoj pri la nomoj estas pro tio ke laŭliteraj signifoj de vortoj "malsimetria" kaj "kontraŭsimetria" estas malfacile distingeblaj unu de la alia. Plu, en multaj lingvoj por la nocioj "malsimetria" kaj "kontraŭsimetria" estas uzataj vortoj kun laŭlitera senco "nesimetria". Malsimile al ĉi tio, malrefleksiva rilato estas la samo kiel kontraŭrefleksiva rilato.