a frequency is a mean of members of space
measure_space is measurable_space. frequency is two_dimensional_quantity. frequency is ratio. frequency is scalar_or_vector_interval. frequency is rate. normal_space is regular_space. fact_factory_classification_frequency is frequency.