Equivalence relationships like identical are reflexive, symmetric, and transitive. Set theory constructs sets without duplicates, limiting each set to a single cardinality. The identical predicate determines if two references (Ref1 and Ref2) refer to the same thing by checking if Ref1=Ref2. Global Unique Singular Identifiers (GUSIs) are computational representations that can be placed in one-to-one correspondence with things, allowing determination of identity through matching GUSIs. However, managing identity on a global scale poses challenges around the practical implementation of a system with GUSIs.