  We give a complete invariant for shift equivalence for Boolean matrices
(equivalently finite relations), in terms of the period, the induced partial
order on recurrent components, and the cohomology class of the relation on
those components.
