el concepto de P(A), que representa todos los subconjuntos dentro de A, o las partes de A. A este conjunto también se le conoce como conjunto potencia. P.e. Si A = { , , , }, entonces P(A) = {{ }, { }, { }, { }, { }, { , }, { , }, { , }, { , }, { , }, { , }, { , , }, { , , }, { , , }, { , , }, { , , , }} y |P(A)| = . En general, si |A| = n ∧ n = ⇒ |P(A)| = n