Definition:Vacuous Supremum