Untuk setiap \(x\in X\) terdapat \(B\in\B\) dengan \(x\in B\text{;}\) ekuivalen dengan \(\bigcup_{B\in\B}B=X\text{.}\)