reserve A for non degenerated comRing;
reserve R for non degenerated domRing;
reserve n for non empty Ordinal;
reserve o,o1,o2 for object;
reserve X,Y for Subset of Funcs(n,[#]R);
reserve S,T for Subset of Polynom-Ring(n,R);
reserve F,G for FinSequence of the carrier of Polynom-Ring(n,R);
reserve x for Function of n,R;

theorem Th26:
    for x be Element of Funcs(n,[#]R) holds {x} is Algebraic_Set of n,R
    proof
      let x be Element of Funcs(n,[#]R);
      x in Funcs(n,[#]R) by SUBSET_1:def 1; then
      consider x1 be Function such that
A1:   x1 = x & dom x1 = n & rng x1 c= [#]R by FUNCT_2:def 2;
   reconsider x1 as Function of n,R by A1;
A2:   {x1} = Zero_(polyset(x1)) by Th25 .= Zero_((polyset(x1))-Ideal) by Th17;
      reconsider Q = {x} as non empty Subset of Funcs(n,[#]R);
      Q is algebraic_set_from_ideal by A2,A1;
      hence thesis;
     end;
