Multisemigroups with multiplicities and complete ordered semi-rings (Q2400128)

A \textit{multisemigroup} is a set \(S\) endowed with a multioperation \(*: S\times S\to 2^S\) which satisfies the associativity axiom: \(\bigcup_{s\in a*b}s*c= \bigcup_{t\in b*c}a*t\) for all \(a, b,c\in S\). Let \(\kappa\) be a fixed cardinal and Card\(_\kappa\) the (complete) semiring of cardinals which are not greater than \(\kappa\) where 1) addition (of any number of elements) is given by disjoint union with convention that all cardinals greater than \(\kappa\) are identified with \(\kappa\) and 2) multiplication is given by Cartesian product with convention that all cardinals greater than \(\kappa\) are identified with \(\kappa\). For a set \(X\), \({\mathcal B}_{\kappa}(X)\) denotes the set of all functions from \(X\) to Card\(_\kappa\). A \textit{multisemigroup with multiplicities bounded by} \({\kappa}\) (or simply \textit{multi-multisemigroup} if \(\kappa\) is clear from the context) is a pair \((S, \mu)\), where \(S\) is a non-empty set and \(\mu: S\times S\to {\mathcal B}_{\kappa}(S)\) a mapping such that the following distributivity requirement is satisfied: for all \(r, s, t\in S\), \(\sum_{i \in S}\mu_{s,t}(i)\mu_{r,i} = \sum_{j \in S}\mu_{r,s}(j)\mu_{j,t}\). Some examples and properties of multi-multisemigroups are provided, as well as connections to twisted semigroup algebras and modules over complete semirings. For example, as \({\mathcal B}_1(S)=2^S\), a multisemigroup with multiplicities bounded by one is a usual multisemigroup.