Fix_equiv, a generalization of Fix_eq over arbitrary relations.