Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Foundations
❯
Poset
❯
Upper Bound
Upper Bound
Jun 05, 2026
1 min read
Let
be a
Poset
and
Then
is an upper bound for
if
for all
Graph View
Backlinks
Well-ordering Principle
Zorn's Lemma
Knaster-Tarski fixed point theorem
Least Upper Bound
Poset
Model Existence Lemma (Propositional Logic)