Description: The area of a measurable region is a real number. (Contributed by Mario Carneiro, 21-Jun-2015)