Q.If the ordered pairs $(2x, y - 3)$ and $(2, 1)$ are equal, then find $x$ and $y$.

Ordered Pairs: From Intuition to Definition

Think about a simple list: "apple, banana, cherry." The order matters only if you care which is first, second, third. But in mathematics, we often need a pair of things where the order is everything — where (apple, banana) is different from (banana, apple). That's an ordered pair.

The Intuition

Imagine you're giving coordinates to a point on a grid. You say "go 3 steps right, then 2 steps up." You write that as (3, 2). If you wrote (2, 3) instead, you'd end up at a completely different spot — 2 right and 3 up. The two numbers are the same, but their positions swap the meaning. That's the core idea: an ordered pair is a pair of objects where the first and second positions are fixed and cannot be swapped without changing what the pair represents.

In daily life, think of a student's roll number and name: (12, "Ravi"). That's not the same as ("Ravi", 12) — the first is a number, the second a name. The order tells you which is which.

The Precise Definition

In set theory, we define an ordered pair $(a, b)$ as:

This looks strange, but it's a clever trick. The set $\{a\}$ marks the first element, and $\{a, b\}$ contains both. Because $\{a\}$ appears only in the first position, the pair "remembers" which element came first. This definition ensures that:

That's the fundamental property: two ordered pairs are equal only when their first components match and their second components match. No swapping allowed.

Why This Matters

Ordered pairs are the building blocks of relations and functions. A function from set $A$ to set $B$ is a collection of ordered pairs $(x, y)$ where each $x$ appears exactly once as a first component. Without ordered pairs, we couldn't talk about "input gives output" — we'd just have a jumble of numbers.

In coordinate geometry, every point on a plane is an ordered pair $(x, y)$. In computer science, a database record like (ID, Name, Age) is an ordered tuple — a generalization of the same idea.

A Quick Check

Which of these are equal ordered pairs?

1. $(2, 3)$ and $(3, 2)$ — No, because $2 \neq 3$ in the first position.
2. $(5, 7)$ and $(5, 7)$ — Yes, both components match.
3. $(a, b)$ and $(b, a)$ — Only if $a = b$. Otherwise, no.

Summary

An ordered pair is a pair of objects where the first and second positions are fixed. Its precise set-theoretic definition is $(a, b) = \{ \{a\}, \{a, b\} \}$, and its essential property is that $(a, b) = (c, d)$ only when $a = c$ and $b = d$. This simple idea underlies coordinates, functions, and much of modern mathematics.