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.