thus the charact of UAStr(# the carrier of A, the charact of A #) is quasi_total ; :: according to UNIALG_1:def 2 :: thesis: verum