An ordinary generating function is a formal power series that encodes a sequence of numbers by associating each term of the sequence with a power of a variable. The function is typically expressed as $$G(x) = a_0 + a_1x + a_2x^2 + a_3x^3 + ...$$ where the coefficients $a_n$ represent the terms of the sequence. This concept is important in combinatorics and probability for solving recurrence relations, counting problems, and deriving formulas for combinatorial quantities.