for R being Ring
for S being RingExtension of R
for T being Subset of S holds T is Subset of (RAdj (R,T))