A subset S of a commutative ring B is said to be algebraically independent over a subring A of B (or the elements of S are said to be algebraically independent over A ) if, whenever a polynominal in elements of S, with coefficients in A, is equal to 0, then all the coefficients in the polynomial equal 0.