Varying the lower boundary produces other antiderivatives (but not necessarily all possible antiderivatives). This is another formulation of the fundamental theorem of calculus.

There exist many properties and techniques for finding antiderivatives. These include, among others:

Non-continuous functions can have antiderivatives. While there are still open questions in this area, it is known that: