Identifiers

An identifier is a name without meaning, a random string.

Pure names can only be used for comparisons.

Properties:

• One identifier can only reference one entity.

• Each entity is only referenced by one identifier.

• One identifier always refers to the same entity (cannot be reutilized).