Real numbers/Subset/Infimum/Definition
Appearance
Infimum
For a nonempty subset , a lower bound of is called the infimum of , if holds for all lower bounds of .
For a nonempty subset , a lower bound of is called the infimum of , if holds for all lower bounds of .