:: deftheorem Def41 defines Fid MODELC_1:def 41 :
for S being non empty set
for f being object holds
( ( f in ModelSP S implies Fid (f,S) = f ) & ( not f in ModelSP S implies Fid (f,S) = S --> FALSE ) );