===== Elementary volume of ℝⁿ =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $p\in \mathbb N$ |

| @#FFBB00: definiendum | @#FFBB00: $\mathrm{vol}:\mathfrak J^p\to \mathrm R$ |
| @#FFBB00: definiendum | @#FFBB00: $\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]]