def:finite-set-2026a
A set XXX is called finite if X=∅X=\emptysetX=∅ or if XXX has nnn elements for some natural number nnn.
Loading…
Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.
No relations recorded yet.
Log in to comment.