Fixed bibilographic reference, added definition of Caratheodory measurable sets
Fixed bibilographic reference, added definition of Caratheodory measurable sets

metamath/set.mm,metamath/set.mm,metamath/set.mm