An ordinary generating function (OGF) is a formal power series that encodes a sequence of numbers, typically used to study combinatorial structures. It is defined as the sum of the form $$G(x) = a_0 + a_1x + a_2x^2 + a_3x^3 + ...$$ where each coefficient $$a_n$$ represents the number of ways to choose elements from a set. OGFs provide a powerful tool for solving problems in combinatorics, allowing us to manipulate sequences and extract information about them through algebraic operations and techniques.