A world manifold is a four-dimensional orientable real smooth manifold. It is assumed to be a Hausdorff and second countable topological space. Consequently, it is a locally compact space which is a union of a countable number of compact subsets, a separable space, a paracompact and completely regular space. Being paracompact, a world manifold admits a partition of unity by smooth functions. Paracompactness is an essential characteristic of a world manifold. It is necessary and sufficient in order that a world manifold admits a Riemannian metric and necessary for the existence of a pseudo-Riemannian metric. A world manifold is assumed to be connected and, consequently, it is arcwise connected.