definición de dominio en matemáticas