In logic, extensionality, or extensional equality refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same. ==Example== Consider the two functions f and g mapping from and to...