Description: The outer measure of a set A is less than or equal to the extended addition of the outer measures of the decomposition induced on A by any E . Step (a) in the proof of Caratheodory's Method, Theorem 113C of Fremlin1 p. 19. (Contributed by Glauco Siliprandi, 17-Aug-2020)