The homology of a symmetric relation

A homology theory is presented for the category of sets with a given reflexive and symmetric relation. There is defined in this category the notion of homotopy equivalence; the theory satisfies the analogs of the Eilenberg–Steenrod axioms and yields a theorem on almost fixed points.
Bibliography: 7 titles.