Верхня множина

Верхня множина (замкнена вверх множина) — підмножина ${\displaystyle ~Y}$ частково впорядкованої множини ${\displaystyle (P,\leq )}$, яка задовольняє умову:

${\displaystyle \forall x\in Y,y\in P:\quad x\leq y\Rightarrow y\in Y.}$

Верхня множина

Двоїстим поняттям є — нижня множина.