I have proved (for any products, including infinite products):

- Product of directly compact funcoids is directly compact.
- Product of reversely compact funcoids is reversely compact.
- Product of compact funcoids is compact.

The proof is in my draft article and is not yet thoroughly checked for errors.