Claim:⊆ implies ≤

From CS2800 wiki
If [math]A \href{/cs2800/wiki/index.php/%5Csubseteq}{\subseteq} B [/math] then [math]|A| \href{/cs2800/wiki/index.php/%5Cleq}{\leq} |B| [/math]