Theory of equivalence