A×B={(a,b)|a∈A∧b∈B}