外延公理

外延公理，在公理化集合論與使用它的邏輯、數學和計算機科學分支中，外延性公理或外延公理是Zermelo-Fraenkel集合論的公理之一。在 Zermelo-Fraenkel 公理的形式語言中，它讀作：給定任何集合A和任何集合B，A=B，當且僅當【給定任何集合x，x∈A當且僅當x∈B。】它的本質是：集合唯一的由它的成員來決定。