generated at
extensionality
duck typing
identity of indiscernibles
Structural typing
Univalence axiom
axiom of extensionality

googleextensionality
image extensionality
define extensionality
wikipedia extensionality
weblio extensionality
kotobank extensionality
jisho extensionality