Benar. Setiap batas bawah dan batas atas bagi \(S\) juga menjadi batas bawah dan batas atas bagi setiap \(V\subseteq S\text{.}\)