Definition:Strict Upper Set