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