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