Abstract
We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have