Throughout the paper ${\mathbb R}$, will denote the set of real numbers and $\mathbb Q$ - the set of rational numbers. Lebesgue outer (resp. inner) measure on the real line will be denoted by $\lambda^{*}$ (resp. $\lambda_{*}$), whereas $\lambda$ will stand for the Lebesgue measure itself. Moreover, $\mathcal L $ will denote the $\sigma $-algebra of $\lambda $-measurable subsets of $\mathbb R$ and $\mathcal N$ will denote the $\sigma $-ideal of Lebesgue null sets. We will consider a natural topology on $\mathbb R$. Notation $\mathcal B$ will be adopted for the case of subsets of $\mathbb R$ having the Baire property and $\mathcal K$ will denote the $\sigma$-ideal of the sets of the first category. $\mathcal I$$_p$ will denote the $\sigma $-ideal of at most countable sets. The sign $"+"$ indicates the operation of finding an algebraic sum of two sets $A$ and $B$ contained in $\mathbb R$, so the algebraic sum of this sets will be denoted by $A+B=\left\{a+b: a\in A, b\in B\right\}$.For mathematicians working with Lebesgue measure on the real line, the following lemma become a part of the folklore
@article{90,
title = {On Sm\'\i tal property},
journal = {Tatra Mountains Mathematical Publications},
volume = {45},
year = {2010},
doi = {10.2478/tatra.v46i0.90},
language = {EN},
url = {http://dml.mathdoc.fr/item/90}
}
Niedziałkowska, Agnieszka. On Smítal property. Tatra Mountains Mathematical Publications, Tome 45 (2010) . doi : 10.2478/tatra.v46i0.90. http://gdmltest.u-ga.fr/item/90/