از مجموعهی $\left\{ a,b,c,d \right\}$ به مجموعهی $\left\{ ۱,۲,۳,۴,۵ \right\}$ چند تابع میتوان نوشت كه شامل زوج مرتب $\left( a,۱ \right)$ باشد ولی شامل زوج مرتب $\left( b,۲ \right)$ نباشد؟
ابتدا كل توابعی كه شامل زوج مرتب $\left( a,1 \right)$ هستند را به دست میآوريم و سپس تعداد توابعی كه هر دو زوج مرتب $\left( a,1 \right)$ و $\left( b,2 \right)$ را دارند از آن كم میكنيم. حاصل تعداد توابعی است كه شامل $\left( a,1 \right)$ هستند ولی شامل $\left( b,2 \right)$ نیستند. 1) توابعي كه شامل $\left( a,1 \right)$ هستند: در اين حالت a فقط يك حالت دارد. b و c و d هر كدام میتوانند 5 عدد را اختيار كنند، يعنی هر كدام 5 حالت خواهند داشت. $=1\times 5\times 5\times 5={{5}^{3}}=125$ تعداد توابع شامل زوج مرتب $\left( a,1 \right)$ 2) تعداد توابع شامل $\left( a,1 \right)$ و $\left( b,1 \right)$: برای a و b یک حالت وجود دارد و c و d هر كدام میتوانند 5 عدد را اختيار كنند، يعنی هر كدام 5 حالت دارند، پس: $=1\times 1\times 5\times 5=25$ تعداد توابع شامل $\left( a,1 \right)$ و $\left( b,2 \right)$ - تعداد توابع شامل $\left( a,1 \right)$ = تعداد توابع شامل $\left( a,1 \right)$ و فاقد $\left( b,2 \right)$ $125-25=100$