infimum (Q1418): Difference between revisions
Jump to navigation
Jump to search
Created claim: subclass of (P1): lower bound (Q1419) |
Created claim: part of (P7): infimum and supremum (Q1420) |
||
| Property / part of | |||
| Property / part of: infimum and supremum / rank | |||
Normal rank | |||
Latest revision as of 22:59, 30 January 2023
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements; the greatest of minorings of a set in itself
- inf
- greatest lower bound
- maximal lower bound
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | infimum |
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements; the greatest of minorings of a set in itself |
|