groupoid

noun Mathematics.

1. an algebraic system closed under a binary operation.Also called monoid.Compare group(def 9), semigroup.