Why Duplicate Effort? Suppose we have some equivalence relation $\approx$; note here $\approx$ does not mean “approximately equal”, it just is a generic symbol for any equivalence relation. Since $\approx$ is an equivalence relation, then we know that it is reflexive, symmetric, and transitive.