Preliminaries, Prob theory