Definition:Antisymmetric Relation/Class Theory

Definition
Let $V$ be a basic universe.

Let $\RR \subseteq V \times V$ be a relation in $V$.

Also see

 * Equivalence of Definitions of Antisymmetric Relation (Class Theory)