However, any other weight function that satisfies the properties listed in Cleveland (1979) could also be used.

It can be proved that a calculus satisfying the above properties is unique.

More precisely, a Consensus protocol must satisfy the four formal properties below.

With the exception of the last property, the exterior product satisfies the same formal properties as the area.

More precisely, * is required to satisfy the following properties:

The set of natural numbers is the smallest set satisfying the previous two properties.

Then F is a filter base satisfying the properties of (i).

All it needs is the distance function that satisfies the properties of the metric space.

The more abstract form of the operators satisfy the properties below.

The simplified system usually does not satisfy exactly the same properties as the original one so that a process of refinement may be necessary.