Tahap 1: konstruksi memberi sekaligus \(x\in C'\) dan \(x\in X\setminus C\text{.}\) Tahap 2: terapkan inklusi \(C'\subseteq C\) pada keanggotaan pertama.