El propósito es repetir un bloque de código mientras una condición se mantenga verdadera.
[1] La sintaxis en pseudocódigo es la siguiente: La condición ha de ser una sentencia que devuelva un valor booleano, y esta puede ser el valor booleano sí, verdadero (true) si la condición se cumple, o falso si esta no se cumple (false).
La forma más obvia tal vez, y la más usada sin duda, son las sentencias comparativas, que usan los operandos igual, diferente, menor o igual, mayor o igual, menor y mayor.
En el caso del lenguaje C, se utilizan los siguientes símbolos para representar las comparaciones anteriores: ==, !=, <=, >=, <, >.
En algunos lenguajes, se pueden utilizar variables no booleanas en la comparación.