In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.
