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.
(
(
Together, these two implications prove