1: \begin{abstract}

2: 

3: The theory of finitely supported algebraic structures is related to Pitts 

4: theory of nominal sets (by equipping finitely supported sets with finitely 

5: supported internal algebraic laws). It represents a reformulation of 

6: Zermelo Fraenkel set theory obtained by requiring every set theoretical 

7: construction to be finitely supported according to a certain action of a 

8: group of permutations of some basic elements named atoms. Its main purpose 

9: is to let us characterize infinite algebraic structures, defined involving 

10: atoms, only by analyzing their finite supports. The first goal of this 

11: paper is to define and study different kinds of infinities and the notion 

12: of `cardinality' in the framework of finitely supported structures. We 

13: present several properties of infinite cardinalities. Some of these 

14: properties are extended from the non-atomic Zermelo Fraenkel set theory 

15: into the world of atomic objects with finite support, while other 

16: properties are specific to finitely supported structures. We also compare 

17: alternative definitions of `infinite finitely supported set', and we 

18: finally provide a characterization of finitely supported countable sets.

19: 

20: \end{abstract}

21: