Is it correct to say A × A = {(a, a) : a ∈ A}?

yes