\begin{definition}[Definition:Beatty Sequence/Complementary]
Let $x$ be an irrational number.
Let $\BB_x$ be the '''Beatty sequence''' on $x$.
The '''complementary Beatty sequence on $x$''' is the integer sequence formed by the integers which are missing from $\BB_x$.
\end{definition}