Kiến thức, công thức và điều kiện
F là một nguyên hàm của f trên một khoảng nếu F′=f tại mọi điểm trong khoảng. Các nguyên hàm trên một khoảng chỉ khác một hằng số C, kí hiệu∫f(x) dx=F(x)+C. Phải ghi khoảng xác định; khi miền tách thành nhiều khoảng, hằng số có thể khác giữa các khoảng.