En resumen estas expresiones son la "inicialización", donde se dá el valor inicial a la variable de control del bucle; la "condición" que inicia cada iteración solo si es evaluada a verdadero; y el "actualización o paso" que incrementa o decrementa la variable de control al final de cada iteración para garantizar que la condición eventualmente evalúe a falso.