pub type DiscreteMeasurableSpace = HashSet<usize>;