"Um sistema ou elemento de software não é correto ou incorreto...

"Um sistema ou elemento de software não é correto ou incorreto per si. Um sistema ou elemento de software somente pode ser consistente ou inconsistente com sua especificação. Para um programa ser correto, qualquer execução dele que inicie no estado em que a pré-condição seja verdadeira resultará em um estado em que a pós-condição também será verdadeira, satisfazendo a lógica de programação". (BARNES, D. J. ; KOLLING, M. Programação orientada a objetos com Java - Uma introdução prática usando o Bluej. 4. Ed. São Paulo: Pearson Prentice Hall, 2009. P. 12. ) Portanto, podemos compreender a partir da citação, que existem condições antes e após a lógica de uma lógica específica. Neste sentido, qual o objetivo do comando break?