semialgebra