Argomentare la risposta.
Argomentare la risposta.
Un sottoinsieme di X che contenga A ( eventualmente A compreso )
si può pensare come A U B essendo B il generico sottoinsieme di X - A che ha cardinalità
|X - A| = |X| - |A| = n - k.
Poiché é facile dimostrare per induzione che se |E| = q allora |P(E)| = 2^q
( un insieme di q elementi ha 2^q sottoinsiemi compresi se stesso ed il vuoto )
il numero richiesto é 2^|X-A| = 2^(n-k).