Let be a Poset and . The upward closure of is