解析完备空间

analytically complete space