Cartesian Product of Sets: Explained with Examples

The Cartesian product A cross B is the set of all ordered pairs (a, b) where a comes from A and b comes from B. If A = {1, 2} and B = {p, q}, then A cross B = {(1, p), (1, q), (2, p), (2, q)}.

It matters because ordered pairs are the language of coordinates, tables and relationships. Every point on a graph, every row pairing a student with a subject, and every entry matching an input to an output starts life as a Cartesian product.

Key Concepts

• Ordered pair (a, b): a pair where position matters; (1, p) is different from (p, 1).
• Cartesian product A cross B: {(a, b) such that a is in A and b is in B}.
• Equality of pairs: (a, b) = (c, d) exactly when a = c and b = d, both coordinates matching.
• Coordinate plane: the familiar x-y plane is R cross R, pairs of real numbers.

Formulas

• n(A cross B) = n(A) times n(B). Each of the n(A) choices for the first coordinate pairs with each of the n(B) choices for the second.
• Not commutative: in general A cross B is not equal to B cross A, because (a, b) differs from (b, a).
• A cross empty set = empty set and empty set cross B = empty set: with no choices on one side, no pairs exist.
• Assumption: the counting formula needs finite sets; the definition itself works for any sets.

Worked Example

Find A cross B and its size for A = {1, 2} and B = {x, y, z}.

1. Fix the first coordinate 1 and pair it with each member of B: (1, x), (1, y), (1, z).
2. Fix the first coordinate 2 and pair it with each member of B: (2, x), (2, y), (2, z).
3. So A cross B = {(1, x), (1, y), (1, z), (2, x), (2, y), (2, z)}.
4. Count: 6 pairs, matching n(A) times n(B) = 2 times 3 = 6.

Common Misconceptions

• "A cross B equals B cross A." Compare the example: B cross A would contain (x, 1), while A cross B contains (1, x). Different pairs, different sets.
• "(a, b) is the same as the set {a, b}." In {a, b} order is irrelevant, but in (a, b) swapping the coordinates changes the pair.
• "The product of two sets is a set of numbers." It is a set of pairs; A cross B contains pairs, not single elements.

Real-World Applications

• Coordinate geometry: every point (x, y) on a graph is an element of R cross R.
• Databases: joining a table of students with a table of subjects conceptually forms a Cartesian product, later filtered by matching keys.
• Scheduling: pairing each of 5 teams with each of 4 time slots gives 5 cross 4 = 20 possible fixtures.

The Cartesian product A cross B builds every ordered pair with the first entry from A and the second from B, and its size is the product of the two sizes. Keep the order of coordinates sacred, and pairs, graphs and tables all fall into place.