Upgrade subject to access all content

What does it mean to say that an operation $*$ is commutative on a set $S$?

An operation $*$ on a set $S$ is commutative if for all $x,y,z$ in $S$, $(x*y)*z=x*(y*z)$

An operation $*$ on a set $S$ is commutative if for all $a,b$ in $S$, $a*b=b*a$

An operation $*$ on a set $S$ is commutative if there exist $x,y$ in $S$, such that $x*y=y*x$

Both Choice 'B' and Choice 'C' are correct.

None of the above are correct.