separable metric space. The corresponding open subsets generate a σ-algebra on , the Borel sigma algebra of .

A random compact set is ? measurable function from ? probability space into .

Put another way, a random compact set is a measurable function such that is almost surely compact and