Anti Symmetric Relation - kipawaa/Proof-Tree GitHub Wiki

Statement

A Relation $R$ on a set $S$ is anti-symmetric iff $\forall a, b \in S, (a, b) \in R$ and $(b, a) \in R \implies a = b$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

Sources