Mathématiques, informatique, politique et poésie
C'est à dire que pour tout ensemble \(X\), il existe \(Y=P(X)\), l'ensemble des parties de \(X\).
