:: deftheorem Def13 defines d". SCM_COMP:def 13 :
for t being Terminal of SCM-AE
for b₂ being Element of NAT holds
( b₂ = d". t iff dl. b₂ = t );