Compact metrizable convex set
= Compact metrizable convex set
Here the set is a nonempty compact metrizable convex subset of a Hausdorff locally convex space. The ambient space can be infinite-dimensional. Continuous affine <functions> separate its points, and weak-star compact dual balls with separable preduals provide examples. This general setting is needed for <Choquet theorem>.