formula_11 accede al campo de la estructura de datos que representa el conjunto candidato formula_12, que inicialmente se asume cero.