Category:Measure of Limit of Decreasing Sequence of Measurable Sets