Extensionality is a principle in logic and mathematics stating that objects are equal if they have the same external properties or relations, without regard to their internal structure. It is fundamental in set theory, where two sets are considered equal if they have the same elements, regardless of how those elements are described or ordered.