adammontville / cis-controls-71-measures

0 stars 0 forks source link

Ensure measures are well-defined #188

Closed adammontville closed 5 years ago

adammontville commented 5 years ago

We desire to make our measures well-defined. Where an operation is required within the definition of a measure, the operation should be pulled out of that definition and separately labeled, and that new label used in the definition instead.

For example, instead of this:

M1 = {a, b, c, d}
M2 = {e, f, g}
M3 = |M1| + |M2|

We use this:

M1 = {a, b, c, d}
M2 = |M1|
M3 = {e, f, g}
M4 = |M3|
M5 = M2 + M4