Why Empty Set Is A Set