State/The empty set is a subset of every set 1