:: deftheorem defines SymbolsOf FOMODEL0:def 23 :
for X being functional set holds SymbolsOf X = union { (rng x) where x is Element of X \/ {{}} : x in X } ;