Equivalence of Definitions of Empty Set