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. wikipedia 
[…] A similar extensional definition is usually employed for relations: two relations are said to be equal if they have the same extensions.