Condition for Relation to be Transitive and Antitransitive

Theorem
Let $S$ be a set.

Let $\mathcal R \subseteq S \times S$ be a relation in $S$.

Then:
 * $\mathcal R$ is both transitive and antitransitive

iff:
 * $\mathcal R$ is either null or singleton.