En binær relasjon fra en mengde $A$ til en mengde $B$ er en delmengde av $A \times B$. Med $\left\vert{A}\right\vert = 3$ og $\left\vert{B}\right\vert = 4$ er $\left\vert{A \times B}\right\vert = 3 \cdot 4 = 12$. For å lage en relasjon fra $A$ til $B$ må vi altså for hver av de $12$ tuplene i $A \times B$ velge om det tuplet skal være med eller ikke være med i relasjonen. Vi må altså treffe $12$ uavhengige valg der vi har $2$ muligheter for hvert valg. Da er det til sammen $2^{12} = 4096$ forskjellige muligheter.