:: deftheorem Def49 defines InnAut AIMLOOP:def 51 :
for Q being multLoop
for b₂ being Subset of (Funcs (Q,Q)) holds
( b₂ = InnAut Q iff for f being object holds
( f in b₂ iff ex g being Function of Q,Q st
( f = g & g in Mlt ([#] Q) & g . (1. Q) = 1. Q ) ) );