theorem Th19: :: ALGGEO_1:19

for R being domRing
for n being non empty Ordinal
for S, T being Algebraic_Set of n,R holds S /\ T is Algebraic_Set of n,R