Let $X, Y, Z$ be affine varieties defined over $k$ an algebraically closed field. I was wondering how we know that $$ (X \times_k Y) \times_k Z = X \times_k (Y \times_k Z)? $$
Actually I'm not even sure if it's supposed to be "=" here.. What should it be? Any explanation for the two parts would be appreciated. Thank you.