Set Equation: Intersection

Theorem
Let $A$ and $B$ be sets.

Consider the set equation:


 * $A \cap X = B$

The solution set of this is:


 * $\varnothing$ if $B \nsubseteq A$


 * $\{ B \cup Y: A \nsubseteq Y \}$ otherwise.