閉集合の公理へいしゅうごうのこうり<へい'しゅう'ごう>　の　こう'り

Math.Axiom der abgeschlossenen Mengen