Through a series of six guided classroom discoveries, students create, via targeted questions, a definition for deciding when two sets have the same cardinality. The program begins by developing basic facts about cardinalities of finite sets. Extending two of these facts to infinite sets yields two statements on comparing infinite cardinalities…