take {} ; :: thesis: {} is boolean-valued
thus rng {} c= BOOLEAN ; :: according to MARGREL1:def 16 :: thesis: verum