Soit la fonction qui a un ensemble d'ensembles et un élément associe . Montrer que . En déduire un algorithme récursif calculant .