Finite

From CS2800 wiki
Definition: Finite
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].