Item:Q1422: Difference between revisions
Created a new Item: supremum, 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 |
Created claim: part of (P7): infimum and supremum (Q1420) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: single-valued function / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: quality / rank | |||
Normal rank | |||
| Property / subclass of: quality / qualifier | |||
| Property / subclass of | |||
| Property / subclass of: quality / rank | |||
Normal rank | |||
| Property / subclass of: quality / qualifier | |||
| Property / subclass of | |||
| Property / subclass of: upper bound / rank | |||
Normal rank | |||
| Property / part of | |||
| Property / part of: infimum and supremum / rank | |||
Normal rank | |||