Definition:Upper Closure of Subset