In a PL/SQL subprogram, a conditional statement that is repeated until the condition is no longer met.