Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
If $S$ is directed partial semigroup, how is $* \colon \beta S \times \beta S \to \beta S$ being defined here? If $*$ is a total binary operation on $S$, then we can define $\mathcal{U} * \mathcal{V}$ (but we would still have to worry about associativity).
