Quasigruppo
In mathematica un quasigruppo[1] es un structura algebric. Illo es un magma con un operation binari , in que pro omne e in omne de ambe equationes
e
ha exactemente un sol solution pro e . Isto vole dicer que un solution existe e es univoc.
Le ancian nomine "gruppoide" es a evitar.