thus rng ({} (X,{})) = {} ; :: according to FUNCT_2:def 3 :: thesis: verum