Definition:Magma

A groupoid is an algebraic structure $$\left({S, \circ}\right)$$ which is closed.

Note that as usually defined, $$\varnothing \subseteq S$$, that is, the underlying set is allowed (in the extreme case) be the empty set.