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