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