1: \begin{abstract}

2: In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ in $X$ such that $(C+x)\cap B$ is countable/finite/of cardinality at most $n$, for all $x\in X$. 

3: 

4: Recently, Banakh et al. have unified the notions of Haar-null and Haar-meager sets by introducing Haar-$\mathcal{I}$ sets, where $\mathcal{I}$ is a collection of subsets of $2^\omega$. It turns out that if $\mathcal{I}$ is the $\sigma$-ideal of countable sets, the ideal of finite sets or the collection of sets of cardinality at most $n$, then we get the above notions. Moreover, those notions have been studied independently by Zakrzewski (under a different name -- perfectly $\kappa$-small sets).

5: 

6: We study basic properties of the corresponding families of small sets, give suitable examples distinguishing them (in all groups of the form $\mathbb{R}\times X$, where $X$ is an abelian Polish group) and study $\sigma$-ideals generated by closed members of the considered families. In particular, we show that Haar-finite sets do not form an ideal. Moreover, we answer some questions concerning null-finite sets asked by Banakh and Jab\l o\'{n}ska and pose several open problems.

7: \end{abstract}

8: