Skip to main content
1 of 3

Name for union of upsets/downsets

Set of upper bounds in poset is defined like $ A^u = \{ x \in P : \forall a \in A . x \le a \} = \bigcap_{a \in A} \{ x \in P : x \le a \}$.

Is there in literature a name for union $ \bigcup_{a \in A} \{ x \in P : x \le a \} $?