antisymmetric

You are here: irt.org | FOLDOC | antisymmetric

<mathematics> A relation R is antisymmetric if,

 for all x and y,  x R y and y R x  =>  x == y.

I.e. no two different elements are mutually related.

Partial orders and total orders are antisymmetric. If R is also symmetric, i.e.

 x R y  =>  y R x

then

 x R y  =>  x == y

I.e. different elements are not related.

(1995-04-18)

Nearby terms: Anthony Hoare « anti-aliasing « antichain « antisymmetric » antivirus » antivirus program » antivirus software

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb