Thomas Larsen comments on Infra-Exercises, Part 1

[Thomas Larsen]

not all sets all sets of reals which are bounded below have an infimum

Do you mean ‘all sets of reals which are bounded below DO have an infimum’?

[Algon]

Thanks, fixed.