Schwarza lemat,
mat. twierdzenie należące do teorii funkcji analitycznych, które orzeka, że jeśli f: D(0, 1) → 
jest funkcją analityczną w dysku jednostkowym D(0, 1), taką że f(0) = 0 i |f(z)| ≤ 1 dla wszystkich z ∈ D(0, 1), to wówczas |f(z)| ≤ z dla wszystkich z ∈ D(0, 1), a ponadto, jeśli równość |f(z)| = |z| zachodzi dla co najmniej jednego punktu z ≠ 0, to f(z) ≡ eiαz dla pewnego α ∈ ℝ, tzn. f jest w istocie obrotem o kąt α.
