greatest element
(Q79674627)
an element of S that is greater than or equal to every other element of S
an element of S that is greater than or equal to every other element of S
Language:
Current Data About
greatest element
| (P279) |
(Q1196892)
(Q20203388) (Q55091441) (Q246672) (Q111315902) |
||||||
| (P461) |
(Q11091744)
|
||||||
| (P1889) |
(Q215071)
(Q111315902) |
||||||
| (P2534) |
g=Greatest~element(P, \preceq ) \overset{\text{def}}{\iff} g \in P \land \forall y \in P (y \preceq g)
|
||||||
| (P6104) |
(Q8487137)
|
||||||
| (P7235) |
P
\preceq
g
|