Set Equation: Intersection

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

Consider the set equation:


 * $A \cap X = B$

The solution set of this is:


 * $\O$ if $B \nsubseteq A$


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