theorem Th26: :: ALGGEO_1:26

for R being domRing
for n being non empty Ordinal
for x being Element of Funcs (n,([#] R)) holds {x} is Algebraic_Set of n,R