A -dense number is a real
number
whose expansion in an integer base
contains every finite string of consecutive digits, including
strings with leading zeros. Such a number is also called
disjunctive in base
(Leśniak 2014, p. 150). If
is
-normal, then
is
-dense. If
is
-dense for some
, then
is an irrational number.
Equivalently,
is
-dense
iff the sequence of fractional
parts
, for
, is dense
in
, where
and
is the floor function
(Bailey and Crandall 2001, 2002).