三角形とかの平面図形の合同な図形の集合のほうが有理数よりも早くあらわれる同値類ではないでしょうか?