for T being non empty TA-structure holds types ({} the adjectives of T) = the carrier of T