arbitraria y debe ser del mismo tipo que se declara en la especificación