Antiderivatives form a family because differentiation loses constant offsets.
Each function x²+C differentiates to 2x. Conversely, two antiderivatives of the same function on an interval differ by a constant: their difference has derivative zero, so the Mean Value Theorem makes it constant. An initial condition selects one family member.
The constant is not optional when describing all antiderivatives.