Atlas/Foundations/Set theory and cardinals
1/4
Cardinality ignores names. Only whether a pairing exists matters.