Normal number/Definition

A real number whose digits in some particular base occur equally often in the long run.