Equivalence operation added.