It is proved a combinatorial lemma of the Sperner type and some its applications to products of spaces are given. We shall introduce a subclass of the class of the limits of inverse sequences of $n$-dimensional cubes, where fixed point and invariance domain properties are investigated. This paper gives a new simple proofs of classical results and their generalizations from Euclidean spaces to spaces of very complicated structure.