Definition talk:Cardinality

Cardinality of Infinite Sets
How will this article address Cardinality of Infinite Sets?
 * It already does;

I think that Cardinality should be defined in terms of equinumerosity and dominance relations, which themselves should be defined in terms of mappings (that is, for example, two sets are equinumerous if there exists a function that maps one set 1-1 onto the other set. -Andrew Salmon 14:17, 11 September 2011 (CDT)
 * It is, just it's all on other pages than this. Follow the links, it should go down that route.
 * This bit is not all rigorous yet, I never finished it. Feel free.
 * But before going ahead and altering the metastructure of ProofWiki too much, read around it and see what there already is. --prime mover 14:39, 11 September 2011 (CDT)