Inverse Image of Intersection

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

Specializations: Not Applicable
Generalizations: Not Applicable

Inverse Image of Intersection

The Inverse Image of an intersection equals the intersection of the inverse images:

Proof.
() Let .

and
and .

() Let .
and
and

Together, these two implications prove that