Atlas/Foundations/Set theory and cardinals
1/4
Membership is the primitive: x ∈ A or not. Extensionality says a set is its elements.