infimum (Q1199948)
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements of a given subset
- inf
- greatest lower bound
- maximal lower bound
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | infimum |
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements of a given subset |
|
Statements
2-10.14
infimum of M
0 references