Definition:Antisymmetric Relation (Class Theory)