Elementary volume of ℝⁿ

Set

context $p\in \mathbb N$
definiendum $\mathrm{vol}:\mathfrak J^p\to \mathrm R$
definiendum $\mathrm{vol}(]a,b]):=\prod_{i=1}^p (b_i-a_i)$

Discussion

This is also called the Lebesgue pre-measure

Parents

Context

Half-open subsets of ℝⁿ, Finite product of complex numbers

Link to graph
Log In
Improvements of the human condition
limeGraphxioms