$A = \left\{ {{a_1},{a_2},{a_3}} \right\},b = \left\{ {{b_1},{b_2},...,{b_6}} \right\}$
به 6 طریق $f({a_1})$ را تعریف کنیم.
$f({a_1}) = {b_1} \vee {b_2} \vee ... \vee {b_6} \Rightarrow $
به 5 طریق $f({a_2})$ را تعریف کنیم.
یک به یک $f \Rightarrow f({a_2}) \ne f({a_1}) \Rightarrow $
به 4 طریق $f({a_3})$ را تعریف کنیم.
یک به یک $f \Rightarrow f({a_3}) \ne f({a_1}),f({a_3}) \ne f({a_2}) \Rightarrow $
بنابراین طبق اصل ضرب $6 \times 5 \times 4 = 120$ تابع یک به یک داریم.
