Definition:Strict Upper Closure of Element