Definition:Strict Upper Closure of Subset