The following is one of a few (possibly non-equivalent) definitions of products of funcoids:
Definition Let be an indexed family of funcoids. Let be a filter on .
for atomic reloids and .
Today I have proved that this really defines a funcoid. Currently the proof is present in draft of the second volume of my book,
A probably especially interesting case is if is the cofinite filter. In this way we get something similar to Tychonoff product of topological spaces.
This may possibly have some use in study of compact funcoids.