1: \begin{abstract}

2:   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 the dimension of metric measure spaces and prove the lower semicontinuity of that under the Gromov-Hausdorff convergence.  

3:  \end{abstract}

4: