from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. The state or quality of being equinumerous.
Sorry, no etymologies found.
Before moving ahead to the discussion of this principle, the reader should convince him - or herself of the following four facts: (1) that the material equivalence of two concepts implies their equinumerosity, (2) that equinumerosity is reflexive, (3) that equinumerosity is symmetric, and (4) that equinumerosity is transitive.
In this example, no relation R can satisfy the definition of equinumerosity.
The proofs of these facts, in each case, require the identification of a relation that is a witness to the relevant equinumerosity claim.
In order to state the definition of equinumerosity, we shall employ the well-known logical notion ˜there exists a unique x such that Ï (x)™.
The definition of equinumerosity, or of the existence of a one to one mapping between two classes, also called
From here the step is not far to Dedekind's view that equipollence is a sufficient condition for equinumerosity.