The Empty Set Definition