---
alias: "successeur"
---
up::[[axiomes Zemerlo Frankel]]
title::"$s(x) = x \cup \{ x \}$"
#s/maths

----
Le *successeur* est la fonction $s$ définie comme :
$s(x) = x \cup \{ x \}$