The Cartesian product of two sets \boldsymbol and \boldsymbol, denoted as \boldsymbol , is the set of all ordered pairs where the first element is from \boldsymbol and the second element is from \boldsymbol.