thus the carrier of ComplStr(# the carrier of L, the Compl of L #) is 1 -element ; :: according to STRUCT_0:def 19 :: thesis: verum