# Why is the number of subsets equal to the number of relations?

In this question I don't understand why the number of subsets is equal to the number of relations.

Any help is welcome.

• It’s the definition of relation on $A$: by definition a relation on $A$ is a subset of $A\times A$ and vice versa. – Brian M. Scott May 5 '15 at 23:13

A relation $R$ on a set $A$ is by definition a subset of the set $A \times A$. So to find the numbers of relations on a set $A$, we can simply find the number of subsets $A \times A$.
We know that if $A$ has $n$ elements, then $A \times A$ has $n^2$ elements, and the set of subsets of $A$, also known as the power set $\mathcal{P}(A)$, has $2^n$ elements. Hence, there $2^{n^2}$ subsets of $A \times A$, and this is the same as the number of relations on $A$.