A `Loop Statement` in which the "loop body" is executed once and then re-executed as long as the given "loop condition" holds.