theorem RAsub2: :: FIELD_6:32

for R being Ring
for S being RingExtension of R
for T being Subset of S
for U being Subring of S st R is Subring of U & T is Subset of U holds
RAdj (R,T) is Subring of U