Talk:Q10578722
Autodescription — maximum (Q10578722)
- Useful links:
- View it! – Images depicting the item on Commons
- Report on constraint conformation of “maximum” claims and statements. Constraints report for items data
- Parent classes (classes of items which contain this one item)
- Subclasses (classes which contain special kinds of items of this class)
- ⟨
maximum
⟩ on wikidata tree visualisation (external tool)(depth=1) - Generic queries for classes
Union and disjoint queries
- Instances of maximum (Q10578722) that are instances of none of the classes greatest element (Q79674627) , maximum (Q111305333) and maximal element (Q111315902) [1]
- See also
- This documentation is generated using
{{Item documentation}}
.
Distinction between greatest element, maximal element and maximum[edit]
maximal element is not subclass of (P279) of supremum (Q215071). e.g. {0} and {1} are maximal elements of ({φ, {0}, {1}}, ⊂), but they are not supremum (Q215071). supremum (Q215071) is {0, 1}. Seeing the English label description "maximal element" and corresponding properties, it is apparently appropriate to remove the subclass of (P279) statement (And I did so). However, maxima and minima (Q845060), whose English description is "largest and smallest value taken by a function in a given range", says that is disjoint union of (P2738) maximum (Q10578722) and minimum (Q10585806). There are lot of statements each of which uses this entity as a qualifier in the context of greatest element or functional maximum. Therefore, this entity should be understood as the union concept of greatest element, maximal element, and maximum, that is, greatest element (Q79674627), maximal element (Q111315902), and maximum (Q111305333) --KAMEDA, Akihiro (talk) 09:55, 20 March 2022 (UTC)