The intersection of $R$ and $S$[1] is the relation $R\cap S$ from $A$ to $B$ defined as follows:
- Viewing relations from $A$ to $B$ as subsets of $A\times B$, we define[2]
\[ R\cap S\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ \webleft (a,b\webright )\in B\times A\ \middle |\ \text{we have $a\sim _{R}b$ and $a\sim _{S}b$}\webright\} . \]
- Viewing relations from $A$ to $B$ as functions $A\to \mathcal{P}\webleft (B\webright )$, we define
\[ \webleft [R\cap S\webright ]\webleft (a\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}R\webleft (a\webright )\cap S\webleft (a\webright ) \]
for each $a\in A$.
