:: deftheorem Def60 defines AtomicAsgn MODELC_2:def 60 :
for a being object
for b₂ being Element of ModelSP (Inf_seq AtomicFamily) holds
( b₂ = AtomicAsgn a iff for t being set st t in Inf_seq AtomicFamily holds
(Fid (b₂,(Inf_seq AtomicFamily))) . t = AtomicFunc (a,t) );