Construct a lebesgue measurable set $S$ such that for any nonempty interval $I, 0< m(S\cap I)< m(I)$,
where $m$ is the lebesgue measure in real line.