距離化可能空間きょりかかのうくうかん<きょ'り'か・か'のう>・くう'かん7

Math.metrisierbarer Raum