the carrier of Trivial-RLSStruct = {{}} by CARD_1:49;
hence the carrier of Trivial-RLSStruct is 1 -element ; :: according to STRUCT_0:def 19 :: thesis: verum