Semua \(A_\alpha\) harus berada pada sisi pemisahan yang memuat titik irisan bersama; sisi lainnya lalu kosong.