for all x,y,z x=y and y=z implies x=z