Let be an indexed family of sets.
Products are for .
Hyperfuncoids are filters on the lattice of all finite unions of products.
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 .