La generalidad de la definición anterior, en la que se contempla que el dominio sea un conjunto de "objetos matemáticos arbitrarios", permite omitir la especificación de dos (o más) conjuntos de variables independientes, "A" y "A", por ejemplo.