* If formula_30 is any function and formula_31 are any sets in formula_32's codomain, then formula_33.
* اگر formula_30 تابعی باشد و formula_31 مجموعه‌هایی از هم دامنه ی f باشند،آنگاه داریم: formula_32.