Talk:Probability space

About credit
The lead uses the text added by me to the corresponding Wikipedia article in the period 11 July – 16 August 2008. Should a credit to Wikipedia be given? Boris Tsirelson 21:25, 17 October 2009 (UTC)