Definition talk:Subadditive Function (Measure Theory)

Is there really a good justification for repeating the definition in symbols by the meaning in words? I can see the didactic virtue, but I'm not sure if we (should) want to go in this direction. --Lord_Farin 16:08, 21 May 2012 (EDT)