Definition:Extension of Sequence to Negative Integers