:: deftheorem deffix defines -fixing FIELD_8:def 2 :
for R, S2 being Ring
for S1 being RingExtension of R
for h being Function of S1,S2 holds
( h is R -fixing iff for a being Element of R holds h . a = a );