:: deftheorem Def15 defines modetrans C0SP1:def 15 :
for X being non empty set
for F being object st F in BoundedFunctions X holds
for b₃ being Function of X,REAL holds
( b₃ = modetrans (F,X) iff ( b₃ = F & b₃ | X is bounded ) );