Def/Empty Set 1