Abstract The product of subsets of an Artex space over a bi-monoid is defined.   Product…