Transitive Class/Examples/Empty Class

From ProofWiki
Jump to navigation Jump to search

Example of Transitive Class

The empty class is transitive.


Proof

Vacuously, every element of $\O$ is also a subclass of $\O$.

Hence $\O$ is transitive by definition.

$\blacksquare$


Sources