hyperalgebra

not defined yet