thus the carrier of TopRelStr(# {x},R,T #) is 1 -element ; :: according to STRUCT_0:def 19 :: thesis: verum