Content deleted Content added
Line 297:
a representative from each equivalence class to replace <math>[x]_R</math>, which will be at the same type as x, or by choosing
a canonical representative if there is a way to do this without invoking Choice (the use
of representatives is hardly unknown in [[ZFC]], either). In [[NFU]], the use of equivalence
class constructions to abstract properties of general sets is more common, as for example in
the definitions of cardinal and ordinal number below.
| |||