Definition:Vacuous Set