چند تابع پوشا از مجموعهٔ $D=\left\{ ۱,۲,۳,۴,۵,۶ \right\}$ به مجموعهٔ $R=\left\{ ۱,۲,۳,۴ \right\}$ میتوان تعریف کرد که شامل زوج مرتبهای $(۱,۱)$ و $(۲,۲)$ باشند؟
هر کدام از این توابع بهصورت زیر تعریف میشوند: $f=\left\{ (1,1),(2,2),(3,\bigcirc ),(4,\bigcirc ),(5,\bigcirc ),(6,\bigcirc ) \right\}$ اگر مجموعهٔ این دسته از توابع را با $S$ و زیر مجموعههایی از $S$ که برد آنها بهترتیب فاقد $3$ و فاقد $4$ باشد را با $A$ و $B$ نمایش دهیم، داریم: $\begin{align} & \left| S \right|={{4}^{4}}=256 \\ & \left| A \right|=\left| B \right|={{3}^{4}}=81 \\ & \left| A\bigcap B \right|={{2}^{4}}=16 \\ \end{align}$ در این صورت مجموعهٔ توابع پوشا معادل مجموعهٔ $\overline{A}\bigcap \overline{B}$ است. داریم: $\left| \overline{A}\bigcap \overline{B} \right|=\left| S \right|-\left| A\bigcup B \right|=\left| S \right|-\left( \left| A \right|+\left| B \right|-\left| A\bigcap B \right| \right)$ $=256-(81+81-16)=256-146=110$