Jeżeli dla funkcji ff
określonej w pewnym otoczeniu U+(x0)U_+(x_0) (odpowiednio: U−(x0)U_-(x_0) punktu x0x_0 istnieje skończona granica x→x0+limx−x0f(x)−f(x0)\displaystyle\lim_{x\to x_0^+}\frac{f(x)-f(x_0)}{x-x_0} (odpowiednio: x→x0−limx−x0f(x)−f(x0))\left(\text{odpowiednio: }\displaystyle\lim_{x\to x_0^-}\frac{f(x)-f(x_0)}{x-x_0}\right), to granicę tę nazywamy pochodną prawostronną (odpowiednio: lewostronną) funkcji ff w punkcie x0x_0 i oznaczamy ją f+′(x0)f'_+(x_0) (odpowiednio: f−′(x0)f'_-(x_0)).