Outer regular measure

Summary