Let be an indexed family of sets.
Products are for .
Hyperfuncoids are filters on the lattice of all finite unions of products.
Problem Is a bijection from hyperfuncoids to:
- \item prestaroids on ; \item staroids on ; \item completary staroids on ?
If yes, is defining the inverse bijection? If not, characterize the image of the function defined on .
Consider also the variant of this problem with the set replaced with the set of complements of elements of the set .
It's used notation from Algebraic General Topology draft book
Bibliography
* indicates original appearance(s) of problem.