State/The empty set is a subset of every set

=Proof=

=Metadata=