### Definitions : Sequence, Geometric Progression, String, Recursive

On the following terms could you please give my an English text description - in your own words. Thanks. 1. Sequence 2. Geometric Progression 3. String 4. Recursive definition of a function 5. Recursive definition of a set 6. Recursive algorithm 7. Program correctness 8. Loop invariant 9. Final assertion