In complex analysis, the Siu semicontinuity theorem implies that the Lelong number of a closed positive current on a complex manifold is semicontinuous.
More precisely, the points where the Lelong number is at least some constant form a complex subvariety.
This was conjectured by Harvey & King (1972) and proved by Siu (1973, 1974).
Demailly (1987) generalized Siu's theorem to more general versions of the Lelong number.