empty set definition