Description: ( voln*X ) is an outer measure on the space of multidimensional real numbers with dimension equal to the cardinality of the finite set X . Proposition 115D (a) of Fremlin1 p. 30 . (Contributed by Glauco Siliprandi, 11-Oct-2020)