theorem Th14: :: FRECHET:14

for A, B, x being set holds dom ((id A) +* (B --> x)) = A \/ B