Construcción de subconjuntos

?-clausura(move(A, 0)) = ?-clausura({q2}) = {q2, q3} = B

?-clausura(move(A, 1)) = ?-clausura({q1, q2}) = {q1, q2, q3} = C

?-clausura(q0) = A = {q0, q2, q3}