From 544ecfce0a649d003bb2dab8616a09a57c0c1d91 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Sat, 2 Nov 2019 13:55:23 +0100
Subject: [PATCH] Description of dimension extended

---
 doc/DESIGN.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/DESIGN.md b/doc/DESIGN.md
index 00a83039..009ce225 100644
--- a/doc/DESIGN.md
+++ b/doc/DESIGN.md
@@ -132,6 +132,13 @@ struct base_dim_substance : base_dimension<"substance", "mol"> {};
 struct base_dim_luminous_intensity : base_dimension<"luminous intensity", "cd"> {};
 ```
 
+In order to be able to perform computations on arbitrary sets of base dimensions, an important
+property of `units::dimension` is that its base dimensions:
+- are not repeated in a list (each base dimension is provided at most once),
+- are consistently ordered,
+- having zero exponent are elided.
+
+
 #### `derived_dimension`
 
 Above design of dimensions is created with the ease of use for end users in mind. Compile-time