Introducción a la integral definida
Dado un intervalo cerrado [a, b] ⊂ R no reducido a un punto, diremos que tenemos una partición de dicho intervalo cuando seleccionamos un número finito de puntos distintos del mismo entre los que se encuentran los dos extremos a y b, es decir, a = x₀, x₁, x₂,..., xᵢ, xₙ = b, de tal manera que los puntos xᵢ se ordenan en forma creciente, es decir, a = x₀< x₁< x₂<....< xᵢ<xₙ=b. Llamaremos P = {a₁, x₁, x₂,..., b} a la partición del intervalo. Representamos por 𝓅[a, b] el conjunto de particiones de intervalo [a, b]. En dicho conjunto definimos un orden: una partición P ∈ 𝓅[a, b] es posterior a otra partición Q ∈ 𝓅[a, b] si todos los puntos que definen Q están incluidos entre los que definen P. Diremos que Q es anterior a P. Este orden no es total, ya que existen pares de particiones distintas no comparables. El orden es filtrante, ya que para cada par de particiones P₁, P₂ 𝓅[a, b] comparables o no, podemos encontrar siempre una par