let F be Function of A,BOOLEAN; :: thesis: F is boolean-valued
thus rng F c= BOOLEAN by RELAT_1:def 19; :: according to MARGREL1:def 16 :: thesis: verum