theorem :: FUNCOP_1:10

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