On pairs of nonintersecting faces of cell complexes
Philip L. Wadler · Proceedings of the American Mathematical Society · 1975
We show that, for all cell complexes whose underlying set is a manifold, M M , an alternating sum of numbers of pairs of faces that do not intersect is a topological invariant. This is done by proving that it is a function of the Euler characteristic, x x , of M M .