The only sufficient condition for the sequence to be random is its
unpredictability
Randomness in the context of probability models†, unlike in ordinary speech, has a meaning contrary to ‘unpredictable’ and to ‘arbitrary’††.
After all, a stochastic process (which describes a random phenomenon) evolving in space or time does have an underlying structure, and so can be used for forecasting: while individual trials are unpredictable, by the law of large numbers, the process's underlying pattern (the relative frequencies of different outcomes) emerges over numerous trials.
probability of any number coming next must be equal to $\frac1{10}.$
This process, as in classical probability, involves equally-likely outcomes: the next digit is not arbitrary but a uniformly distributed random variable.
consider that we are getting only numbers less than 5 in the sequence,
it then implies that for the sequence to be random the probability of
getting numbers greater than 5 is now more
This is the Gambler's Fallacy—based on the false implicit assumption that small samples are representative of the larger population—a misapplication of the Law of Large Numbers.
† To what extent probability models correspond to the actual workings of reality or actual randomness—and to what degree this question is simplistic—is a different, philosophical discussion
†† Arbitrary vs. Random