Símbolo que, en una fórmula lógica, indica de forma indeterminada los miembros de una clase y puede ser sustituido por cualquiera de ellos, por lo que se denominan valores de la variable.