“…The hyperspace of convex compact subsets does satisfy this, and additional, computational closure properties [39]. 5) Space of probability measures [24,44,57] and subspace of Haar measures on compact groups [51]. 6) Spaces of continuous [63, §6.1], of smooth [28], and of integrable functions [29,60]; equipped with operations like (anti or weak) derivative, or trace.…”