On the following terms could you please give my an English text description - in your own words. Thanks.
2. Geometric Progression
4. Recursive definition of a function
5. Recursive definition of a set
6. Recursive algorithm
7. Program correctness
8. Loop invariant
9. Final assertion
Definitions of Sequence, Geometric Progression, String, Recursive definition of a function, Recursive definition of a set, Recursive algorithm, Program correctness, Loop invariant, Final assertion are provided. The solution is detailed and well presented. The response received a rating of "5/5" from the student who originally posted the question.