Claim:⊆ implies ≤

From CS2800 wiki
Claim (see proof):
If [math]A \href{/cs2800/wiki/index.php/%5Csubseteq}{\subseteq} B [/math] then [math]|A| \href{/cs2800/wiki/index.php/%5Cleq}{\leq} |B| [/math]
Retrieved from "https://courses.cs.cornell.edu/cs2800/wiki/index.php?title=Claim:⊆_implies_≤&oldid=3317"
  • Powered by MediaWiki