When defining ECs only program inputs are relevant.

There exists one unique set of ECs for each program.

Every element of an EC has the same behavior with regards to a certain operation.

The values of two ECs may overlap.