Aksioma pertama meminta \(X\) dan \(\emptyset\) menjadi anggota \(\tau\text{;}\) periksa ini sebelum memeriksa gabungan atau irisan.