theorem Th6: :: RFUNCT_1:6

for f being complex-valued Function holds dom ((f ^) ^) = dom (f | (dom (f ^)))