するとすべてのk∈K{\displaystylek\\inK}に対して、これはf−1(k){\displaystylef^{-1}(k)}の開被覆でもある。
而分类Ck{\displaystyleC^{k}}包括在分类Ck−1{\displaystyleC^{k-1}}中，对所有的正整数k{\displaystylek}都成立。