"For a normal topological space, there exist three different approaches to define its dimension, due to Lebesgue and Čech (covering dimension dim), Urysohn and Menger (small inductive dimension ind), and Poincaré, Brouwer, and Čech (large inductive dimension Ind). All the three dimensions coincide for separable metric spaces (Tumarkin-Urysohn–Hurewitz's theorem proved in the late 20s), the equality dim X = Ind X holds for any metric space X (Katetov–Morita's theorem, 1954), while in 1962, Roy [Roy] constructed his famous example of a complete metric space Y such that ind Y = 0, but dim Y = Ind Y = 1."