有限集合について、少しまともな定義があったわ

「それぞれの元はある自然数であり、任意の元がｎ未満となるような自然数ｎが存在する集合」と対等な集合

これも分かりにくいか、「対等」の定義もしてないし