Definition:Complementary Beatty Sequence