Infinite set edit
Look into seeing if Infinite set can be merged with Cardinality. Or look to Finite set to she how to make infinite sets better. Maybe "include" the intro in cardinality into infinite set and the history section located in finite set?