¿Qué es?

Es el Conjunto sobre los que la Función está definida. Por tanto, es necesario especificarlo para definir un función.