Definition 5.3 (Empty Set)

The empty set is the ( uniquely determined ) set that contains no element(s)
We denote it by , or by {}