Cartesian Product of Functions
Grzegorz Bancerek · 1991
Summary. A supplement of [3] and [2], i.e. some useful and explanatory properties of the product and also the curried and uncurried functions are shown. Besides, the functions yielding functions are considered: two different products and other operation of such functions are introduced. Finally, two facts are presented: quasi-distributivity of the power of the set to other one w.r.t. the union (X � x f (x) ≈ ∏x X f (x) ) and quasi-distributivity of the product w.r.t. the raising to the power (∏x f (x) X ≈ (∏x f (x)) X).