State whether each of the following statement are true or false. If the statement is false, rewrite the given statement correctly \[\] If A and B are non-empty sets, then A $ \times $ B is a non-empty set of ordered pairs (x, y) such that x $ \in $ A and y $ \in $ B.