Ideas in this flowchart

• Determine whether the displayed set equals T × A.
• The first components give T = {Hamlet, Village, Town}.
• The second components give A = {Macbeth, Hamlet, Othello}.
• The displayed set contains the nine listed ordered pairs.
• A Cartesian product pairs every element of T with every element of A.
• There are 3 × 3 = 9 possible ordered pairs.
• Hamlet is paired with Macbeth, Hamlet, and Othello.
• Village is paired with Macbeth, Hamlet, and Othello.
• Town is paired with Macbeth, Hamlet, and Othello.
• The order of the ordered pairs within the set is irrelevant.
• The order of the elements within each ordered pair is significant.
• Therefore, the displayed set is T × A.