Setiap \(a+s\in a+S\) memenuhi \(a+\inf(S)\leq a+s\text{.}\) Himpunan \(a+S\) tidak kosong dan terbatas di bawah, sehingga aksioma kelengkapan menjamin adanya \(\inf(a+S)\text{.}\)