16 lines
403 B
Markdown
16 lines
403 B
Markdown
---
|
|
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
|
|
|