最小上界

sup S）是數學中序理論的一個重要概念，在格論和數學分析等領域有廣泛應用。 給定偏序集合(T,≤)，對于S⊆T，S的上確界sup(S)定義為S的所有上界組成的集合的最小元（若有）。即sup(S)滿足： ∀s∈S ⇒ s≤sup(S) ∀t∈T，若t滿足∀s∈S ⇒ s≤t，則有sup(S)≤t。