
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



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.