Antisimetri memberi \(m=m'\text{.}\) Karena dua calon batas bawah terbesar mana pun harus sama, batas bawah terbesar \(S\) itu tunggal.