algebraic system