Grupoid asociatívny

grupoid asociatívny

- grupoid s asociatívnou operáciou.