para todo "b" y todo conjunto {"a"} de "L".