Proved by: Not Applicable
References: Not Applicable
Justifications: Not Applicable

Specializations: Not Applicable
Generalizations: Not Applicable

Inverse Image of Union

The Inverse Image of a union equals the union of the inverse images:

Proof.
() Let .

or
or

() Let
or
or

Together, these two implications prove .