Tahap 1: keanggotaan dalam \(P\cap Q\) berarti keanggotaan dalam \(P\) dan \(Q\text{.}\) Tahap 2: substitusikan kedua tutupan untuk \(P\) dan \(Q\text{.}\)