theorem DMN: :: FINSEQ_9:21

for f being complex-valued Function holds
( dom f = dom (delpos f) & dom f = dom (delneg f) & dom f = dom (delall f) )