infimum (Q2405)
From MaRDI portal
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 |
|
