Definisi naif menghasilkan \(S\in S\iff S\notin S\text{.}\) Definisi yang dapat dipakai pada bab ini adalah \(A\subseteq X\) bila setiap anggota \(A\) merupakan anggota \(X\text{.}\) Karena implikasi tersebut benar secara vakum untuk \(\emptyset\text{,}\) berlaku \(\emptyset\subseteq X\) untuk setiap \(X\text{,}\) dan selalu \(A\subseteq A\text{.}\)