:: deftheorem Def34 defines composition-closed AIMLOOP:def 36 :
for X being functional set holds
( X is composition-closed iff for f, g being Element of X st f in X & g in X holds
f * g in X );