The term for a relation among objects within a given context determining their comparitive identity - whether they are the same or different from a given perspective. Programming language design often involves determining a reasonable policy for answering this, involving issues such as level of abstraction, choices about determining the essential characteristics or attributes of an object, and linguistic value of expressions.