 That is,

If "X" is compact, then every locally finite chain is in fact finite.So, given that "X" is "reasonable" in the sense above, Borel−Moore homology formula_7 coincides with the usual singular homology formula_10 for "X" compact.Suppose that "X" is homeomorphic to the complement of a closed subcomplex "S" in a finite CW complex "Y".