generated at
完備性
完全性
コンパクト性 - コンパクト化
https://ja.wikipedia.org/wiki/完備性