Grupoid (magma) je jednoduchá matematická struktura, složená z tzv. nosné množiny a jedné binární operace. Aby se tato dvojice mohla nazývat grupoidem, musí být nosná množina na tuto operaci uzavřena. To znamená, že všechny operandy i výsledky operace o náleží do nosné množiny A.
Grupoid s nosnou množinou A a binární operací o se značí jako € (A, \circ) €, kde € \circ : A \times A \to A €. Nosná množina A může být i prázdná, ale taková struktura je k ničemu.
Grupoid se nazývá komutativní, právě když je operace o komutativní (nezáleží na pořadí operandů).
Grupoid, jehož operace zachovává zákon asociativity, se nazývá pologrupa.
Příkladem grupoidu je například množina přirozených čísel spolu s operací sčítání € (N, +) € nebo množina celých čísel spolu s operací odčítání € (Z, -) €. Množina celých čísel spolu s operací děleno € (Z, /) € grupoidem není, protože celá čísla nejsou na operaci dělení uzavřená (mohou vznikat i čísla racionální).