全単射で不変な性質が基数
位相同型で不変な性質が位相空間
微分同相で不変な性質が微分構造
こうして集合の世界がどんどん細かく精密に理解されていく