Claim:Cantor-Schroeder-Bernstein theorem

From CS2800 wiki
If [math]|A| \href{/cs2800/wiki/index.php/%E2%89%A4}{≤} |B| [/math] and [math]|A| \href{/cs2800/wiki/index.php/%E2%89%A5}{≥} |B| [/math] then [math]|A| \href{/cs2800/wiki/index.php?title=Equal_(cardinality)&action=edit&redlink=1}{=} |B| [/math].