thus rng (id X) c= COMPLEX by MEMBERED:1; :: according to VALUED_0:def 1 :: thesis: verum