Given that a pair (a, b) is different from b, it is regarded as an ordered pair.
notequal (b,a)
But as a disordered pair, they are equal.