DMCA
Cartesian product of functions (1991)
by
Grzegorz Bancerek
| Venue: | Journal of Formalized Mathematics |
| Citations: | 64 - 22 self |
BibTeX
@ARTICLE{Bancerek91cartesianproduct,
author = {Grzegorz Bancerek},
title = {Cartesian product of functions},
journal = {Journal of Formalized Mathematics},
year = {1991},
volume = {3},
pages = {3--6}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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).
