Description: If the outer measure of a set is 0 , then the outer measure of its subsets is 0 . (Contributed by Glauco Siliprandi, 24-Dec-2020)