Set Equation: Intersection

From ProofWiki
Jump to navigation Jump to search

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.


Proof

Template:Policy review