:: deftheorem Def1 defines partial UNIALG_1:def 1 :
for IT being UAStr holds
( IT is partial iff the charact of IT is homogeneous );