for x being object holds
( dom ({} --> x) = {} & rng ({} --> x) = {} ) ;