supremum
(Q215071)
when it exists, the least element of a partially ordered set which is greater than or equal to all elements; the least of majoring elements of a set in itself
when it exists, the least element of a partially ordered set which is greater than or equal to all elements; the least of majoring elements of a set in itself
Language:
Current Data About
supremum
| (P31) |
(Q11348)
|
||||||||||
| (P279) |
(Q1207505)
(Q1207505)
(Q42866132) |
||||||||||
| (P361) |
(Q17502105)
|
||||||||||
| (P373) |
Infimum and supremum
|
||||||||||
| (P461) |
(Q1199948)
|
||||||||||
| (P1343) |
(Q109490582)
|
||||||||||
| (P1889) |
(Q10578722)
(Q42866132) (Q1969054) (Q79674627) |
||||||||||
| (P2534) |
s=\sup(X), U = \{u | u = Upper~bound(X)\}, X \subseteq (K, \preceq) \overset{\text{def}}{\iff} s \in U \land \forall y \in U (s \preceq y)
|
||||||||||
| (P2579) |
(Q190549)
(Q149972) (Q12482) |
||||||||||
| (P6104) |
(Q8487137)
|
||||||||||
| (P7235) |
s
u
X
K
\preceq
|
other details
| aliases |
sup least upper bound |
| description | when it exists, the least element of a partially ordered set which is greater than or equal to all elements; the least of majoring elements of a set in itself |
External Links
| (P2671) |
/g/11bc57zj_6
|
| (P2812) |
Supremum
|
| (P8313) |
supremum
|
| (P10376) |
mathematics/supremum
engineering/supremum |
| (P12888) |
df-lub
|