An identifier that distinguishes this node from other nodes of the same type within a branch. During graph traversal, nodes with the same type and identifier are considered the same node. An empty string is a valid identifier.