This definition is natural since it agrees with the axiom of limitation of size which implies bijection between and any proper class.
This definition is natural since it agrees with the axiom of limitation of size which implies bijection between and any proper class.