Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I want to say that a set $A$ is numerable but infinite, I can do so like this: $$|A| = \aleph_0$$

What should I use instead to say that a set is finite? $|A|\in\mathbb{N}$? $|A|< \infty$? $|A|< \aleph_0$? Something else entirely?

share|cite|improve this question
I'm hacking together a reference sheet so space is at a premium. :) – badp Jul 6 '11 at 9:08
"The set A is not infinite". – Mark Jul 6 '11 at 10:27
up vote 6 down vote accepted

In light of your comment below the question (in addition to "What should I use instead to say that a set is finite?"), I suggest using $|A| < |\mathbb{N}|$ (or $|A| < \aleph _0$); see Wikipedia's definition here and Theorem (5.4) here. Note that this allows $A$ to be empty (the empty set is finite, and has a cardinality of zero).

EDIT: Exact quotations from the above links: 1) "Any set $X$ with cardinality less than that of the natural numbers, or $|X| < |\mathbf{N}|$, is said to be a finite set" (where $\mathbf{N}=\lbrace 0,1,2,3,\ldots\rbrace $); 2) "A set $X$ is finite if and only if $|X| < |\mathbb{N}^+|$" (where $\mathbb{N}^+ = \lbrace 1,2,3, \ldots \rbrace$).

share|cite|improve this answer
The empty set is finite, I believe. What does that mean $|X|<\mathbb N^+$ anyway? Do you mean $\in$? – Asaf Karagila Jul 6 '11 at 12:30
@Asaf: I meant to write $|X| < |\mathbb{N}^+|$ (as in that link); I'll fix this. Concerning the comment about the empty set, I see no problem with what I wrote. – Shai Covo Jul 6 '11 at 12:47
Very well. If $|X|<|\mathbb N^+|$ then it holds for the empty set, I was thinking it was meant to be $\in$ which would then imply the empty set is not finite :-) – Asaf Karagila Jul 6 '11 at 12:57
@Asaf: Thanks for this reply. – Shai Covo Jul 6 '11 at 13:01

You should say "The set $A$ is finite." There is nothing wrong with using sentences in mathematics; they often are easier for the reader to understand than a sequence of symbols.

share|cite|improve this answer
Unless the "reader" is a computer, in which case a symbolic language is far more precise. – LBushkin Jul 7 '11 at 3:30

Why not simply, "$A$ is finite" or $|A| = n$.

share|cite|improve this answer
While "A is finite" is fine, "$|A|=n$" makes me ask What is $n$?? ($n=\aleph_0$?) You'll have to write "$|A|\in\mathbb N$" as in Swlabr's answer. – Hendrik Vogt Jul 6 '11 at 10:06

As a matter of style I would say, "$A$ is finite." It is best to avoid having a bristling obstacle course of symbols for your reader to penetrate. Which is easier to read here?

Every nonvoid subset of the positive integers has a least element.

$\forall \emptyset \subset S\subseteq {\Bbb N}$, $ \exists m\in S$ such that $m\le s$ $\forall s\in S.$

The choice is clear to me. Use notation and symbols to simplify and clarify.

share|cite|improve this answer
I'm not clear about your use of $\emptyset$ in that formula. Did you mean $\emptyset\subsetneq S$? – Asaf Karagila Jul 6 '11 at 13:22
Yes, this is correct. – ncmathsadist Jul 6 '11 at 13:40
To me $\subset$ is a strict, $\subseteq$ is nonstrict. – ncmathsadist Aug 7 '14 at 21:24
I think I got it three years ago. :-P – Asaf Karagila Aug 7 '14 at 21:44

You could say,

"There does not exist an injection from $\mathbb{N}$ to $A$."

Personally, however, I would just go with either "$A$ is finite" or "$|A| <\infty$". It does depend on the context though.

share|cite|improve this answer
If $A$ is amorphous then there is no injection from $\mathbb N$ into $A$, but $A$ is most certainly not finite. – Asaf Karagila Jul 6 '11 at 12:29
I have never come across amorphous sets, but they seem to assume $\lnot AC$ in their definition. Which is silly. – user1729 Jul 6 '11 at 13:18
What you <i>can</i> do is not always such a good idea. – ncmathsadist Jul 6 '11 at 13:18
Why is it silly not to assume $AC$? – Asaf Karagila Jul 6 '11 at 13:20 mean you are happy with only the one orange?... – user1729 Jul 6 '11 at 13:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.