thus [#] S = the carrier of S ; :: according to SUBSET_1:def 6 :: thesis: verum