برای اینکه بفهمیم چند تابع از مجموعه A به مجموعه B وجود دارد، باید تعداد اعضای هر مجموعه را بدانیم.
مجموعه A شامل اعداد {۲، ۴، ۵} است، پس تعداد اعضای A برابر با ۳ است ( |A| = 3 ).
مجموعه B شامل اعداد {-۱، ۳} است، پس تعداد اعضای B برابر با ۲ است ( |B| = 2 ).
هر عنصر از مجموعه A میتواند به هر کدام از عناصر مجموعه B نگاشت شود. برای هر عنصر از A، ما |B| انتخاب داریم. چون انتخاب برای هر عنصر از A مستقل است، تعداد کل توابع برابر است با |B| به توان |A|
پس ۸ تابع از مجموعه A به مجموعه B وجود دارد.