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:
- prestaroids on
;
- staroids on
;
- 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
.