$\{1,2,3\}$ kümesi üzerinde $*$ işlemi
$1*1=1, 1*2=2, 1*3=3$
$2*1=2, 2*2=1, 2*3=2$
$3*1=3, 3*2=3, 3*3=1$
eşitlikleriyle tanımlansın. Bu durumda $1$ birim elemandır, her elemanın tersi kendisidir ancak $2*(3*2)=2*3=2$ olduğu halde $(2*3)*2=2*2=1$ olur.