El lema de Cauchy-Frobenius es un resultado clásico de la teoría de grupos combinatoria, da una expresión para el número de órbitas en una acción de grupo.
La secuencia fundamental de Cauchy es una secuencia de puntos en un espacio métrico tal que para cualquier distancia dada distinta de cero hay un elemento de la secuencia, a partir del cual todos los elementos de la secuencia están a menos de una distancia dada entre sí.
La condición de Cauchy es un criterio para la convergencia de la secuencia fundamental de Cauchy.