theorem Th19: :: FUNCT_3:19

for f being Function holds .: f is Function of (bool (dom f)),(bool (rng f))