semialgebras