theorem Th32: :: RELAT_1:38

( dom {} = {} & rng {} = {} ) ;