theorem Th38: :: ALGGEO_1:38

for R being domRing
for n being non empty Ordinal
for X, Y being Algebraic_Set of n,R st X c< Y holds
Ideal_ Y c< Ideal_ X