7.2 Cardinality and Countability
Cardinality is the part of set theory that compares the sizes of sets. For finite sets this agrees with ordinary counting, but for infinite sets the idea becomes more subtle, because two infinite sets may have the same size even when one appears to sit inside the other as a proper subset. Size by Correspondence The basic idea is that two sets have the same size when their elements can...