Unambiguity and Uniqueness

Unambiguity

Needed for resolution.

Uniqueness

Needed for comparison of IDs.

Can define "canonical" identifiers

Sameness

Needs to be defined in both cases.

Variants

( up , on)
Tim BL