>>719
「有限集合の元」の定義は?