A sufficient condition to a regular set of positive measure on RCD spaces

In this paper, we study regular sets in metric measure spaces with bounded Ricci curvature. We prove that the existence of a point in the regular set of the highest dimension implies the positivity of the measure of such regular set. Also we define thee dimension of metric measure spaces and prove the lower semicontinuity of that under the Gromov-Hausdorff convergence.