Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire.