extensionality
duck typing
identity of indiscernibles
Structural typing
Univalence axiom
axiom of extensionality
/suto3/google.iconextensionality
image extensionality
define extensionality
wikipedia extensionality
weblio extensionality
kotobank extensionality
jisho extensionality