Checks if two sets, algebraic structures, or morphisms are equal.