【实数构造思路】同构+后继+直积+关系+等价+等价类+商集
发布人