for K being Function holds
( rng K is empty-membered iff for x being object holds K . x = {} )