We show that the set of Liouville numbers has a rich set-theoretic structure: it can be partitioned in an explicit way into an uncountable collection of subsets, each of which is dense in the real line. Furthermore, each of these partitioning subsets can be similarly partitioned, and the process can be repeated indefinitely.