hypergroupoid