En matemàtiques, un quasigrup és una estructura algebraica consistent en un conjunt dotat d'una llei de composició interna on la divisió sempre és possible. Un quasigrup és doncs, un magma amb divisiblitat.