В абстрактной алгебре, магмой (или группоидом) называется базовый тип алгебраической структуры. Магма состоит из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.

Термин магма был предложен Бурбаки. Термин **группоид** старше, но использование его в качестве альтернативы ввёл Остин Ор. Однако **группоид** также относится к другой алгебраической структуре, имеющей отношение к теории категорий.