Note that reflexivity fails. Can you find the single element which this does not hold for? This is your contradiction.

However, the other two do hold. Symmetry is pretty simple (it comes from the commutativity of * over ). For transitivity, we can use the fact that . Two cases:

(1) .

(2) is identical, but we take .