有限開被覆ゆうげんかいひふくゆう'げん・<かい'ひ'ふく>7

Math.endliche offene Überdeckung