Hyperalgebra