Bearing this in mind, one may define the remaining axioms that the family of sets about x is required to satisfy.
Λαμβάνοντας αυτό υπόψη, μπορεί κανείς να ορίσει τα εναπομείναντα αξιώματα που πρέπει να ικανοποιήσει η οικογένεια των συνόλων γύρω από το x.