cours/classe héréditaire.md

alias

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 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