¿Qué es un iterador en Python?

Un iterador es un objeto que implementa el protocolo iterador con los métodos __iter__() (devuelve el iterador) y __next__() (devuelve el siguiente elemento o lanza StopIteration). Los iteradores permiten recorrer colecciones de datos de forma eficiente sin cargar todos los elementos en memoria. Son la base de bucles for, comprensiones y funciones como map() o filter(). Todos los iteradores son iterables, pero no todos los iterables son iteradores.