Strongly regular equivalence relation