Claim:≤ is transitive

From CS2800 wiki
If [math]|A| \href{/cs2800/wiki/index.php/%E2%89%A4}{≤} |B| [/math] and [math]|B| \href{/cs2800/wiki/index.php/%E2%89%A4}{≤} |C| [/math] then [math]|A| \href{/cs2800/wiki/index.php/%E2%89%A4}{≤} |C| [/math]. In other words, the [math]\href{/cs2800/wiki/index.php/%E2%89%A4}{≤} [/math] relation on cardinalities is transitive.