上集

上集（supper set）

對於一個偏序集（P，≦），A包含於P，定義↑A=〈y∈P∣存在x∈A，x≦y〉,如果A=↑A,我們把A成為（P,≦）的上集，同理下集也是這樣定義的。