A set[math]X
[/math] is finite if there exists a natural number[math]n
[/math] such that [math]|X| \href{/cs2800/wiki/index.php/Equality_(cardinality)}{=} |\href{/cs2800/wiki/index.php/Enumerated_set}{\{1,2,\dots,n\}}|
[/math].
This page was last edited on 7 February 2020, at 14:09.