algebra Definition Groupoid A Groupoid (G,∘) is an algebraic structure structure that is essentially a non-empty set G with a binary operation ∘. Examples: (N,+) (Z,−)