Maksimalitas komponen memberi setiap himpunan tersebut termuat dalam \(C_a\text{;}\) singleton \(\{a\}\) menjamin keluarganya tak kosong.