hypergroupoids