Download Careers360 App
Cartesian Product and Ordered Pairs

Cartesian Product and Ordered Pairs

Edited By Komal Miglani | Updated on Jul 02, 2025 07:31 PM IST


An ordered pair is a pair of elements with a specific order, usually written as $(a,b)$. The order in which the elements are listed is crucial: $(a,b)≠(b, a)$ unless $a=b$. In set theory, the cartesian product of two sets is the product of two non-empty sets in an ordered way. The Cartesian product comprises two words – Cartesian and product. The word Cartesian is named after the French mathematician and philosopher René Descartes (1596-1650).

Cartesian Product and Ordered Pairs
Cartesian Product and Ordered Pairs

In this article, we will cover the concept of the ordered pairs and cartesian products of two sets. This concept falls under the broader category of sets, relation and function, a crucial Chapter in class 11 Mathematics. It is not only essential for board exams but also for competitive exams like the Joint Entrance Examination (JEE Main), and other entrance exams such as SRMJEE, BITSAT, WBJEE, BCECE, and more.

Ordered pair

A pair of elements grouped together in a particular order is known as an ordered pair.
e.g. : $(a, b),(3,5),(-1,0) \ldots$

The ordered pairs $(a, b)$ and $(b, a)$ are different. Two ordered pairs are equal, if and only if the corresponding first elements are equal and the second elements are also equal. (i.e.) $(x, y)=(u, v)$ if and only if $x=u, y=v$.

Cartesian product of sets

The cartesian product of two non-empty sets $A$ and $B$ is the set of all ordered pairs $( x, y )$, where $x \in A$ and $y \in B$.

Symbolically, we write it as $\mathrm{A} \times \mathrm{B}$ and it is read as ' A cross B '.

$
A \times B=\{(a, b): a \in A, b \in B\}
$

For example, If $A=\{1,2\}$ and $B=\{a, b\}$

Then $A \times B=\{(1, a),(1, b),(2, a),(2, b)\}$

Cartesian Product of Empty Set

As we know, an empty set does not have any elements. The cardinality of an empty set or the size is also zero. The cartesian product of a set, say $A$ and the empty set $\phi$, is an empty set only.

$\mathrm{A} \times \phi=\phi$

Properties of Cartesian Product

1. Non-commutative: The cartesian product of two sets is non-commutative because the order of elements is not the same.

$\begin{aligned}
& A \times B \neq B \times A \text { in general. For instance: } A \times B=\{(a, b) \mid a \in A \text { and } b \in B\} \\
& B \times A=\{(b, a) \mid b \in B \text { and } a \in A\}
\end{aligned}$

$A \times B$ and $B \times A$ contain different pairs unless $\mathrm{A}=\mathrm{B}$ and even then, the order of elements in the pairs is different.

2. Cardinality: If $A$ has $m$ elements and $B$ has $n$ elements, then $A \times B$ has $\mathrm{m} \times \mathrm{n}$ elements.

$|A \times B|=|A| \cdot|B|$

3. Associativity with Triples: For sets $A, B,$ and $C$, the associative property is not applied due to unequal ordered.

$(A \times B) \times C \neq A \times(B \times C)$

However, both are sets of ordered pairs. Specifically:

$\begin{aligned}
& (A \times B) \times C=\{((a, b), c) \mid a \in A, b \in B, c \in C\} \\
& A \times(B \times C)=\{(a,(b, c)) \mid a \in A, b \in B, c \in C\}
\end{aligned}$

4. Distributive over Union: For sets $A, B,$ and $C$, the distribution property of sets follow such rule-

$A \times(B \cup C)=(A \times B) \cup(A \times C)(A \cup B) \times C=(A \times C) \cup(B \times C)$

Number of elements in $\textbf{A}$$\times \textbf{B}$

If there are $p$ elements in $A$ and $q$ elements in $B$, then there will be $p q$ elements in $A \times B$, (i.e.), if $n(A)=p$ and $n(B)=q$, then $n(A \times B)=p q$.

If $A, B, C$, and $D$ are any four sets, then

1. $A \times (B \cup C)=(A \times B) \cup(A \times C)$

2. $A \times (B \cap C)=(A \times B) \cap(A \times C)$

3. $A \times (B-C)=(A \times B)-(A \times C)$

4. $(A \times B) \cap(C \times D)=(A \cap C) \times(B \times D)$

5. If $A \subseteq B$, then $(A \times C) \subseteq(B \times C)$

6. If $A \subseteq B$, then $A \times A \subseteq(A \times B) \cap(B \times A)$

7. If $A \subseteq B$ and $C \subseteq D$, then $A \times C \subseteq B \times D$

Recommended Video Based on Cartesian Product and Ordered Pair

Solved Examples Based On the Ordered Pairs and Cartesian Product

Example 1: If a set has $20$ elements. How many ordered pairs with distinct elements can be formed?

Solution:

As we learned
Let $A=\{1,2,3,20\}$

Let the ordered pair be $(a, b)$.
Selecting $2$ elements from $20$ elements is $_{20}C_{2}$
The number of ordered pairs $_{20}C_{2} =190$
Hence, the answer is $190$.

Example 2: Given the set $A=\{1,2,3\}$. How many ordered pairs can be formed with both the elements belonging to set $A$ ?

Solution:

Ordered pairs can be $(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2)$ and $(3,3)$
So, a total of $9$ such ordered pairs are possible.
Hence, the answer is $9$.

Example 3: What is the condition for $\mathrm{A} \times \mathrm{B}=\mathrm{B} \times \mathrm{A}$ being true?
1) Always true
2) Never true
3) When $A=B$
4) In most of the cases

Solution:

If $A=B$, then
$A \times B=A \times A$ and
$B \times A=A \times A$
So, both are equal.
Hence, $A \times B=B \times A$ is true if both sets are identical.
Hence, the answer is the option 3.

Example 4: If the ordered pair $(x-3, y+2)$ is the same as $(5,9)$, then what are the values of $x$ and $y$ ?

Solution:

Equality of Ordered Pair

$\left(a_1, b_1\right)$ and $\left(a_2, b_2\right)$ are equal iff $a_1=a_2$ and $b_1=b_2$

So

$x - 3 = 5 y = 7$

$x = 8$

And

$y + 2 = 9$

Hence, the answer is $x=8$ and $y=7$.

Example 5: If $n(A)=5$ and $n(B)=7$ then $n(B \times A)$ equals

Solution:

$
\begin{aligned}
n(B \times A) & =n(B) \times n(A) \\
& =7 \times 5=35
\end{aligned}
$

Hence, the answer is $35$.


Frequently Asked Questions (FAQs)

1. What is an ordered pair?

A pair of elements grouped together in a particular order is known as an ordered pair.

2. When will the two ordered pairs equal?

Two ordered pairs are equal, if and only if the corresponding first elements are equal and the second elements are also equal.

3. What is cartesian product?

The cartesian product of two non-empty sets $A$ and $B$ is the set of all ordered pairs ( $x, y$ ), where $\mathrm{x} \in \mathrm{A}$ and $\mathrm{y} \in \mathrm{B}$.

4. If $n(A x B)=40$ and $n(A)=4$, then find $n(B)$.


We know, that if $A$ and $B$ are finite sets, then $n(A \times B)=n(A) \cdot n(B)$
Here,
$40=\mathrm{n}(\mathrm{A}) \times \mathrm{n}(\mathrm{B})$
$\therefore n(B)=\frac{40}{4}=10$


5. If set $A=\{1,2,3\}$ and set $B=\{a, b\}$, then the Cartesian product $A \times B$ is

As we learned
The cartesian product is a set of ordered pairs of $(a, b)$ where $a \in A$ and $b \in B$.

$A=\{1,2,3\} \text { and } B=\{a, b\}$
Then, $A \times B=\{(1, a) ;(1, b) ;(2, a) ;(2, b) ;(3, a) ;(3, b)\}$

6. How is an ordered pair different from a regular pair of elements?
An ordered pair (a, b) is different from a regular pair because the order of elements matters. In an ordered pair, (a, b) is not the same as (b, a) unless a = b. In contrast, a regular pair or set {a, b} is unordered, so {a, b} = {b, a}.
7. How do you represent a Cartesian product graphically?
A Cartesian product can be represented graphically on a coordinate plane. For A × B, elements of A are plotted on the x-axis and elements of B on the y-axis. The resulting points represent the ordered pairs in the Cartesian product.
8. What's the difference between A × B and B × A?
A × B and B × A are generally different Cartesian products. A × B contains ordered pairs (a, b) where a ∈ A and b ∈ B, while B × A contains ordered pairs (b, a) where b ∈ B and a ∈ A. They are equal only if A = B.
9. What does the symbol "×" mean in the context of Cartesian products?
In the context of Cartesian products, the symbol "×" represents the operation of forming all possible ordered pairs between two sets. For example, A × B means the Cartesian product of sets A and B.
10. What's the relationship between Cartesian products and functions?
Functions are often defined as subsets of Cartesian products. A function f: A → B is a subset of A × B where each element of A is paired with exactly one element of B.
11. What is a Cartesian product?
A Cartesian product is the set of all possible ordered pairs (or tuples) that can be formed by combining elements from two (or more) sets. It represents all possible combinations of elements from the given sets.
12. Can a Cartesian product be empty? If so, when?
Yes, a Cartesian product can be empty. This occurs when at least one of the sets involved in the Cartesian product is empty. For example, if A = ∅ (empty set), then A × B = ∅ for any set B.
13. How is the number of elements in a Cartesian product determined?
The number of elements in a Cartesian product is the product of the number of elements in each set. For A × B, if A has m elements and B has n elements, then A × B will have m × n elements.
14. Can you have a Cartesian product of more than two sets?
Yes, you can have a Cartesian product of any number of sets. For three sets A, B, and C, the Cartesian product A × B × C would consist of ordered triples (a, b, c) where a ∈ A, b ∈ B, and c ∈ C.
15. How does the concept of Cartesian product apply in probability theory?
In probability theory, the Cartesian product is used to define the sample space for multiple events. If A is the set of outcomes for one event and B for another, A × B represents all possible combinations of outcomes for both events occurring together.
16. How do you prove that two Cartesian products are equal?
To prove that two Cartesian products A × B and C × D are equal, you need to show that they have the same elements. This means proving that for every (a, b) in A × B, there's a corresponding (c, d) in C × D, and vice versa, with a = c and b = d.
17. What's the cardinality of the Cartesian product of two infinite sets?
The cardinality of the Cartesian product of two infinite sets is typically infinite. If both sets have the same infinite cardinality, the Cartesian product will have that same cardinality. For example, the cardinality of R × R is the same as R.
18. How do you distribute union over Cartesian product?
The distribution of union over Cartesian product follows this rule: (A ∪ B) × C = (A × C) ∪ (B × C). This means the Cartesian product of a union with another set equals the union of the individual Cartesian products.
19. What's the relationship between Cartesian products and database theory?
In database theory, the Cartesian product is used to combine tables or relations. It creates a new table containing all possible combinations of rows from the original tables, which is the basis for more complex join operations.
20. What's the connection between Cartesian products and truth tables in logic?
Truth tables in logic can be viewed as Cartesian products. For a proposition with n variables, the truth table represents the Cartesian product of n copies of {T, F}, where T represents True and F represents False.
21. How do you visualize the Cartesian product of three sets?
The Cartesian product of three sets can be visualized as a three-dimensional space. If A, B, and C are the sets, each point in the space represents an ordered triple (a, b, c) where a ∈ A, b ∈ B, and c ∈ C.
22. What's the relationship between Cartesian products and Cartesian closure in category theory?
In category theory, Cartesian closure is a property of categories that have all finite products (Cartesian products) and exponential objects. This property allows the internalization of the notion of function within the category.
23. How do you prove the distributive property of intersection over Cartesian product?
To prove A × (B ∩ C) = (A × B) ∩ (A × C), you show that any element in the left side is in the right side and vice versa. An element (a, x) in A × (B ∩ C) means a ∈ A and x ∈ B ∩ C, which implies (a, x) is in both A × B and A × C, thus in their intersection.
24. How does the concept of Cartesian product relate to the idea of state spaces in physics and computer science?
In physics and computer science, state spaces are often modeled as Cartesian products. Each dimension or variable in the state space corresponds to a set in the Cartesian product, allowing the representation of all possible system states.
25. What's the connection between Cartesian products and the concept of search spaces in artificial intelligence?
In AI, search spaces are often modeled as Cartesian products. Each dimension or variable in the search space corresponds to a set in the Cartesian product, representing all possible combinations of variable values the AI system can explore.
26. How does the concept of Cartesian product relate to the idea of configuration spaces in robotics?
In robotics, configuration spaces, which represent all possible positions and orientations of a robot, are often modeled as Cartesian products. Each degree of freedom of the robot corresponds to a set in this Cartesian product.
27. What's the relationship between Cartesian products and the concept of feature spaces in machine learning?
In machine learning, feature spaces are often represented as Cartesian products. Each feature or attribute corresponds to a set in the Cartesian product, allowing the representation of all possible combinations of feature values.
28. How do you define the Cartesian product of an empty family of sets?
The Cartesian product of an empty family of sets is defined to be a singleton set containing only the empty tuple {}. This definition ensures that certain mathematical properties hold even when dealing with empty families of sets.
29. How is the Cartesian product related to the concept of relations?
A relation between two sets A and B is defined as a subset of their Cartesian product A × B. Each element in this subset represents a relationship between an element of A and an element of B.
30. What's the difference between A × (B × C) and (A × B) × C?
A × (B × C) and (A × B) × C are different. A × (B × C) produces ordered pairs where the second element is itself an ordered pair, like (a, (b, c)). (A × B) × C produces ordered pairs where the first element is an ordered pair, like ((a, b), c).
31. How does the Cartesian product relate to the concept of a coordinate system?
The Cartesian coordinate system is based on the Cartesian product of real numbers. The xy-plane is R × R, where R is the set of real numbers. Each point (x, y) in the plane corresponds to an ordered pair in this Cartesian product.
32. Can the Cartesian product be applied to infinite sets?
Yes, the Cartesian product can be applied to infinite sets. For example, R × R (where R is the set of real numbers) represents all points in a two-dimensional plane, which is an infinite set.
33. What's the connection between Cartesian products and matrices?
A matrix can be viewed as a representation of a function from the Cartesian product of row indices and column indices to the set of matrix entries. Each entry in the matrix corresponds to an ordered pair (row, column) in this Cartesian product.
34. How does the concept of Cartesian product extend to set theory?
In set theory, the Cartesian product is a fundamental operation for constructing new sets from existing ones. It's used in defining relations, functions, and in creating higher-dimensional spaces from lower-dimensional ones.
35. What's the relationship between Cartesian products and cross products in vector algebra?
While both involve pairs of elements, they're different concepts. The Cartesian product A × B creates ordered pairs (a, b), while the cross product of vectors a × b results in a new vector perpendicular to both a and b.
36. What's the connection between Cartesian products and the concept of dimension?
Cartesian products are closely related to the concept of dimension in geometry and linear algebra. Each additional set in a Cartesian product corresponds to an additional dimension in the resulting space.
37. How do you represent the Cartesian product of sets containing strings or other non-numeric elements?
The Cartesian product of sets containing strings or other non-numeric elements is represented the same way as numeric sets. For example, if A = {red, blue} and B = {circle, square}, then A × B = {(red, circle), (red, square), (blue, circle), (blue, square)}.
38. What's the difference between the Cartesian product and the power set?
The Cartesian product combines elements from different sets to form ordered pairs or tuples. The power set of a set A, denoted P(A), is the set of all possible subsets of A, including the empty set and A itself.
39. How does the associative property apply to Cartesian products?
The Cartesian product is not strictly associative. While (A × B) × C ≠ A × (B × C), there is a natural bijection between these sets. The elements differ in form (((a,b),c) vs (a,(b,c))) but can be considered equivalent in many contexts.
40. How do you find the Cartesian product of a set with itself?
The Cartesian product of a set A with itself, denoted A × A or A², consists of all ordered pairs (a, b) where both a and b are elements of A. For example, if A = {1, 2}, then A × A = {(1,1), (1,2), (2,1), (2,2)}.
41. How does the concept of Cartesian product relate to the idea of tuples in computer science?
In computer science, tuples are often used to represent elements of a Cartesian product. A tuple (a, b, c) can be thought of as an element of the Cartesian product A × B × C, where a ∈ A, b ∈ B, and c ∈ C.
42. What's the difference between a Cartesian product and a direct product in algebra?
While often used interchangeably, there's a subtle difference. The Cartesian product typically refers to the set-theoretic construction of ordered pairs. The direct product in algebra often implies additional algebraic structure, like component-wise operations for groups or rings.
43. What's the connection between Cartesian products and the concept of arity in mathematics and computer science?
The arity of a function or operation often corresponds to the number of sets in a Cartesian product. A binary operation, for instance, typically operates on elements from a Cartesian product of two sets (i.e., ordered pairs).
44. What's the relationship between Cartesian products and the concept of degrees of freedom in physics and engineering?
Degrees of freedom in a system often correspond to dimensions in a Cartesian product. Each independent variable or parameter in a system can be thought of as a set in a Cartesian product that defines the system's state space.
45. How do you define equality for ordered pairs?
Two ordered pairs (a, b) and (c, d) are equal if and only if a = c and b = d. This definition ensures that the order of elements matters in an ordered pair, distinguishing it from unordered sets.

Articles

Back to top