In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity, involves infinite entities as given, actual and completed objects. Actual infinity is to be contrasted with potential infinity, in which an endless process produces a sequence with no last element, and where each individual result is finite and is achieved in a finite number of steps. This type of process occurs in mathematics, for instance, in standard formalizations of the notions of mathematical induction, infinite series, infinite products, and limits.