loop invariant - Turco Inglés Diccionario