The cartesian product comprises of two words â€“ Cartesian and product. The word Cartesian is named after the French mathematician and philosopher RenÃ© Descartes (1596-1650). In this article, we are going to discuss the definition of cartesian product and ordered pair with properties and examples.

## Cartesian Product and Ordered pairs Definition

Cartesian product of two non-empty sets *A* and *B* is denoted by \( A Ã— B \) and defined as the “collection of all the ordered pairs (*a,b*) such that \( a \in A \) and \( b \in B \)Â “.

\(~~~~~~~~~~~~~~~\) \( A Ã— B \) = { \( ( a,b):a \in A, b\in B \) }

It is also called the cross product, set direct product or the product set of *A* and *B* .

Learn more on: Types of Sets

One very important thing to note here is that it is the collection of ordered pairs. By ordered pair, it is meant that two elements taken from each set are written in particular order. So, if a â‰ b , ordered pairs (*a,b*) and *(b,a) * are distinct.

## Cartesian Product and Ordered pairs Examples

**Example 1:**

To take an example, let us take *P* as the set of grades in a school from set *Q* as the sections for the grades. So, we have *P* and *Q* as:

\(~~~~~~~~~~~~~~~~~~~\) P = {8,9,10}

\(~~~~~~~~~~~~~~~~~~~\) Q = *{A,B,C,D*}

So,\( P Ã— Q \) , according to the definition will be equal to,

\( P Ã— Q \) = { (8*,A*)* , *(8*,B*)* , *(8*,C*)* ,* (8*,D*) ,(9*,A*)* , *(9*,B*) ,(9*,C*),(9*,D*),(10*,A*),(10*,B*),(10*,c*),(10,*D*)}

There are total of 12 ordered pairs. If *n*(*P*) and *n*(*Q*) represent number of elements in the sets *P* and *Q* respectively, then *n*(*P*) = 3 and *n*(*Q*) =4. So, *n(PÃ—Q*) = 3 Ã— 4 = 12. Refer figure 1 for the depiction of the same. In the figure, we can clearly observe how \( P Ã— Q \) forms a plane, also referred to be as Cartesian plane. Each point represents an ordered pair which has first element from set *P* and second element from set *Q*. If number of elements in set *A* and *B* is *p* and *q* respectively, then number of elements in the Cartesian product of sets will be *pq* i.e.

If *n*(*A*) = p and *n*(*B*) = q and , then *n*( *A Ã— B*) = *pq*.

From this property, we can draw two conclusions:

- When one or both the sets are empty,
*A*Ã—*B*= \( \phi\) . - If anyone of the sets is infinite, even
*A*Ã—*B*is an infinite set.

Figure 1: Depiction of all possible ordered pairs for \( P Ã— Q \)

**Example 2:**

For two ordered pairs to be equal, their corresponding elements must be equal. E.g. If ordered pairs (9,13) and (x+3 , y+6) are equal,

\(~~~~~~~~~~~~~~~~~~~~\) x + 3 = 9 â‡’ x = 6

\(~~~~~~~~~~~~~~~~~~~~\) y + 6 = 13 â‡’ y = 7

Cartesian product of sets is not limited to only two sets. It also holds for more than two sets. But the complexity increases as we increase the number of sets. For three sets *A, B* and *C*, an element of *A* Ã—*B* Ã— *C* is represented as (*a,b,c*) and it is called an ordered triplet. If we take the Cartesian product of two sets as, *R* Ã— *R* where *R* is the set of real numbers, that represents the entire two-dimensional Cartesian plane. Similarly, R Ã— R Ã— R represents three-dimensional Cartesian space.

It is interesting to know what is the Cartesian product and what are ordered pairs. But what is even more interesting is how Descartes got this idea. He was lying on his bed when he saw a fly. After a lot of buzzing from the fly, he noticed something very simple yet outstanding. He could mark the position of the fly using three parameters, distance from the two adjacent walls and distance from the floor. And each time the fly moved, there was a new set of values for the new position. This gave Descartes an idea and he invented Coordinate systems.

To learn more about relations and range functions, visit www.byjus.com. Download Byjuâ€™s- The Learning App and fall in love with learning!