Langkah 1. Untuk setiap \(u\in U\subseteq S\text{,}\) berlaku \(\inf S\leq u\text{.}\)

Langkah 2. Infimum \(U\) tidak lebih kecil daripada batas bawah mana pun bagi \(U\text{.}\)