algebra Definition Groupoid A Groupoid is an algebraic structure structure that is essentially a non-empty set with a binary operation . Examples: