The Vietoris system in strong shape and strong homology
We show that the Vietoris system of a space is isomorphic to a strong expansion of that space in the Steenrod homotopy category, and from this we derive a simple description of strong homology. It is proved that in ZFC strong homology does not have compact supports, and that enforcing compact supports by taking limits leads to a homology functor that does not factor over the strong shape category. For compact Hausdorff spaces strong homology is proved to be isomorphic to Massey's homology.