In axiomatic set theory, extensionality is expressed in the axiom of extension, which states that two sets are equal if and only if they contain the same elements. In lambda calculus, extensionality is expressed by the eta-conversion rule, which allows conversion between any two expressions that denote the same function.