The definition of random sequences