theorem :: FOMODEL0:66

for A, B, X being set st X is Subset of (Funcs (A,B)) holds
X is Subset-Family of [:A,B:] by Lm53;