Extensionality for a general overview.

image axiom of extensionality

define axiom of extensionality

wikipedia axiom of extensionality

weblio axiom of extensionality

kotobank axiom of extensionality

jisho axiom of extensionality