Is your feature request related to a problem? Please describe.
In 7.3, the supremum is used a couple of times. However, it seems to me that it was not introduced before.
Describe the solution you'd like
Introduce the supremum / infimum in the earlier sections
Describe alternatives you've considered
Introduce the supremum / infimum briefly in 7.3
Is your feature request related to a problem? Please describe. In 7.3, the supremum is used a couple of times. However, it seems to me that it was not introduced before.
Describe the solution you'd like Introduce the supremum / infimum in the earlier sections
Describe alternatives you've considered Introduce the supremum / infimum briefly in 7.3