the carrier of T = [#] the carrier of T ;
hence the carrier of T is Subset of T ; :: thesis: verum