The Definition of Random Sequences