let e be Element of n -tuples_on BOOLEAN; :: thesis: e is boolean-valued
thus rng e c= BOOLEAN ; :: according to MARGREL1:def 16 :: thesis: verum