:: deftheorem Def2 defines quasi_total UNIALG_1:def 2 :
for IT being UAStr holds
( IT is quasi_total iff the charact of IT is quasi_total );