The hypergroupoid semigroups as generalizations of the groupoid semigroups. (Q1760817)

Summary: We introduce the notion of hypergroupoids \((H\text{Bin}(X),\square)\), and show that \((H\text{Bin}(X),\square)\) is a super-semigroup of the semigroup \((\text{Bin}(X),\square)\) via the identification \(x\leftrightarrow\{x\}\). We prove that \((H\text{Bin}^*(X),\ominus,[\varnothing])\) is a BCK-algebra, and obtain several properties of \((H\text{Bin}^*(X),\square)\).