Empty Set Definition Algebra