Definition:Empty Sequence