Chebyshev Distance

In [21], Marco Riccardi formalized that RN-basis n is a basis (in the algebraic sense defined in [26]) of epsilon(n)(T) and in [20] he has formalized that epsilon(n)(T) is second-countable, we build (in the topological sense defined in [23]) a denumerable base of epsilon(n)(T). Then we introduce the n-dimensional intervals (interval in n-dimensional Euclidean space, pave (borne) de R-n [16], semi-intervalle (borne) de R-n [22]). We conclude with the definition of Chebyshev distance [11].