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.
