supremum

when it exists, the least element of a partially ordered set which is greater than or equal to all elements of a given subset

Wikidata entity: Q215071

Wikimedia Commons category is Infimum and supremum

P13044	characteristic of	...	Q185148 (interval)	interval
P13044	characteristic of	...	Q474715 (partially ordered set)	partially ordered set
P373	Commons category	String	Infimum and supremum	???
P2534	defining formula	Math	$s = \sup (X), U = {u \| u = U p p e r b o u n d (X)}, X \subseteq (K, ⪯) \overset{def}{⟺} s \in U \land \forall y \in U (s ⪯ y)$	???
P1343	described by source	...	Q109490582 (ISO 80000-2:2019 Quantities and units — Part 2: Mathematics)	ISO 80000-2:2019 Quantities and units — Part 2: Mathematics
P1889	different from	...	Q42866132 (upper bound)	upper bound
P1889	different from	...	Q79674627 (greatest element)	greatest element
P1889	different from	...	Q1969054 (essential supremum)	essential supremum
P1889	different from	...	Q10578722 (maximum)	maximum
P7235	in defining formula	Math	$s$	???
P7235	in defining formula	Math	$X$	???
P7235	in defining formula	Math	$u$	???
P7235	in defining formula	Math	$K$	???
P7235	in defining formula	Math	$⪯$	???
P31	instance of	...	Q11348 (function)	function
P6104	maintained by WikiProject	...	Q8487137 (WikiProject Mathematics)	WikiProject Mathematics
P461	opposite of	...	Q1199948 (infimum)	infimum
P361	part of	...	Q17502105 (infimum and supremum)	infimum and supremum
P2579	studied by	...	Q149972 (calculus)	calculus
P2579	studied by	...	Q190549 (functional analysis)	functional analysis
P2579	studied by	...	Q12482 (set theory)	set theory
P279	subclass of	...	Q1207505 (quality)	quality
P279	subclass of	...	Q42866132 (upper bound)	upper bound

External Ids

Why not click here or view trends?

log id: 1677607