Gravar-mail: Set, measure and probability theory