nonequivalence operation