近傍の公理きんぼうのこうり<きん'ぼう>　の　こう'り

Math.Umgebungsaxiom