Rigid designator
In modal logic and the philosophy of language, a term is a rigid designator or absolute substantial term when it designates (picks out, denotes, refers to) the same thing in all possible worlds in which that thing exists. A designator is persistently rigid if it also designates nothing in all other possible worlds.