This document discusses antiderivatives and indefinite integration. It defines an antiderivative as a function whose derivative is the given function. The notation for antiderivatives uses an integral sign to indicate finding a function with the given differential. Several properties of indefinite integrals are described, including the power rule and that the integral of a sum is the sum of the integrals. Examples of integrating various functions using properties like substitution are provided.