I previously defined product of two funcoids. Now the description of product of two funcoids is integrated into my article about multifuncoids. In this article I now also define product of an arbitrary (possibly infinite) family of multifuncoids.
The article is yet a very rough preliminary partial draft.
The relations of my definition of product funcoids with category theory is not yet researched.