Proper noun
Krein-Milman theorem (mathematics, functional analysis) A proposition about convex sets in topological vector spaces.