theorem :: FOMODEL0:46

for B being functional set
for A being Subset of B holds SymbolsOf A c= SymbolsOf B by Lm51, ZFMISC_1:77;