adjective. Of a relation R on a set S, having the property that for any two distinct elements of S, at least one is not related to the other via R.

"(A world containing such wonders as Borges's Aleph, where parthood is not antisymmetric, might by contrast be finite and yet atomless.)"

symmetric  

000-unit  affine  commutative  diagonalizable  factorial