---
alias: ["ensemble héréditaire", "héréditaire"]
---
up::[[axiomes Zemerlo Frankel]]
#s/maths

---
Un classe (un ensemble) est _héréditaire_ si elle comprend $\emptyset$ et le [[ZF successeur|successeur]] de chacun de ses éléments.

> [!definition] ensemble héréditaire
> Un ensemble $E$ est _héréditaire_ ssi :
>  - $\emptyset \in E$
>  - $\forall x \in E, \quad s(x) \in E$
^definition