Kontraŭsimetria rilato

Kontraŭsimetria rilato estas tia duvalenta rilato , ke:

.

Alivorte: Se rilato validas por orda duopo , tiam ĝi ne validas por orda duopo .

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

Notu, ke "kontraŭsimetria" ne estas la logika neo de "simetria". Ankaŭ, kontraŭsimetria ne estas ĝenerale la samo kiel malsimetria. La problemojn pri la nomoj kaŭzas tio, ke la laŭvortaj, nefakaj signifoj de la nocioj "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 atendebla senco "nesimetria". Malsimile al ĉi tio, malrefleksiva rilato estas la samo kiel kontraŭrefleksiva rilato.