外延公理

外延公理

外延公理，集合论的公理。 外延公理的含义是：两个类相等的充要条件是它们的元素完全相同，这就是说，类完全由其元素确定。类的所有元素可以通俗地称为它的外延。因此，类完全由其外延确定。