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).

Last updated