6
$\begingroup$

Does there exist any mathematical notation that would indicate that a set $V$ is non-empty and finite? Or would I have to write this out in words?

  • 2
    For some additional suggestions for finite, see [this link](http://math.stackexchange.com/questions/55591/notation-for-the-set-of-all-finite-subsets-of-mathbbn) (one can easily add in the non-empty part). Best not to do it, usually. Words are good.2012-09-23

2 Answers 2

7

To say that $V$ is not empty you can either say so or write $V\neq\emptyset$ or $|V|>0$.

To say that $V$ is finite you can either say so or write $|V|<\aleph_{0}$.

So you can write something like $0<|V|<\aleph_{0}$ to say that $V$ is a non-empty finite set.

Added: in many context (mainly non set theory wise where just writing infinity is not common) you can replace $\aleph_{0}$ with $\infty$

  • 0
    @ZhenLin - corrected, thanks for pointing the typo out2012-09-23
1

You can use the cardinality notation. The cardinality of a set $A$ is usually denoted as $|A|$. If the set is non-empty and finite, you can express this as:

$ A \neq \emptyset, |A| < \infty $

However, I think that explaining this in words would be clearer.

  • 0
    @A.R.S. : Sorry, I didn't guess that this was the issue. I guess Ayman's comment does the trick.2012-09-23