En matemáticas, el dominio (conjunto de definición o conjunto de partida) de una función  es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida. Es el conjunto de todos los objetos que puede transformar, se denota o bien . En se denomina dominio a un conjunto conexo, abierto y cuyo interior no sea vacío.