Category:Horizontal Section of Measurable Set is Measurable