En relasjon fra $\{1, 2, 3\}$ til $\{a, b\}$ er en delmengde av $\{1, 2, 3\} \times \{a, b\} = \{\langle 1, a \rangle, \langle 1, b \rangle, \langle 2, a \rangle, \langle 2, b \rangle, \langle 3, a \rangle, \langle 3, b \rangle\}$.

Hverken $\{\langle a, 1 \rangle, \langle b, 2 \rangle \}$, $\{\langle 1, a \rangle, \langle 2, b \rangle, \langle 3, c \rangle \}$ eller $\{\langle 2, b \rangle, \langle b, 2 \rangle \}$ er delmengder av $\{\langle 1, a \rangle, \langle 1, b \rangle, \langle 2, a \rangle, \langle 2, b \rangle, \langle 3, a \rangle, \langle 3, b \rangle\}$.

En binær relasjon på $\{x, y, z\}$ er en delmengde av $\{x, y, z\}^2 = \{x, y, z\} \times \{x, y, z\} = \{\langle x, x \rangle, \langle x, y \rangle, \langle x, z \rangle, \langle y, x \rangle \langle y, y \rangle, \langle y, z \rangle, \langle z, x \rangle, \langle z, y \rangle, \langle z, z \rangle \}$.