:: deftheorem defines Alg_Sets ALGGEO_1:def 7 :
for n being non empty Ordinal
for R being domRing holds Alg_Sets (n,R) = { S where S is Subset of (Funcs (n,([#] R))) : S is Algebraic_Set of n,R } ;