紧化的一个Domain理论构造
긴화적일개Domain이론구조
A Domain Theoretic Construction of the Wallman Compactification