grupoid
- neprázdna množina A s jednou binárnou operáciou - násobením - definovanou na množina A ( L181;495).