The theory of mathematical morphology was developed for binary images and extensively uses set-theoretic operations such as union, intersection, and set complement, and many algorithms for pattern analysis critically depend on an accurate geometrical and topological image description. In the present paper, we shall eliminate some theoretical shortcoming in [3], and give a perfect topological structure for the space consisting of images.