You are viewing revision 1.0.0, last edited by
Patrick Stevens
formal definition
examples, being the easiest way to understand what "finite set" means
the same as saying the cardinality is finite
difference between "finite" and "hereditarily finite": in particular, {N} is finite though N is infinite