Sejam e conjuntos finitos e não vazios tais que e . Então, das afirmações abaixo:
I - é único;
II - ;
III - a dupla ordenada é única;
é(são) verdadeira(s)
CossenoGPT
Teste
gratuitamente agora
mesmo! 

Em tese, a questão é relativamente direta, no caso, a complexidade do problema reside na interpretação das informações do enunciado. Nesse sentido, comecemos por analisar $\{C: C \subset B \backslash A \} $, basicamente, temos o conjunto de todos os subconjuntos $C$ de $B \backslash A$, ou seja, $n(\{C: C \subset B \backslash A \} )$ é o conjunto das partes de $B \backslash A$, consequentemente:\begin{matrix}
n(\{C: C \subset B \backslash A \} ) = 2^k
\end{matrix}Como $2^7 = 128$, sabemos que o número de elementos do conjunto $B \backslash A$ é $7$, isto é:\begin{matrix}
n(B \backslash A) = n(B) - n(A \cap B) = 7
\end{matrix}Segundo enunciado, $A$ está contido em $B$, ou seja, $n(A \cap B) = n(A)$, logo:\begin{matrix}
n(B) - n(A) = 7
\end{matrix}Com isso, analisemos as afirmativas:
$• \ \text{Afirmativa I:}$ $\color{#3368b8}{\text{Correta}}$
Conforme resultado anterior.
$• \ \text{Afirmativa II:}$ $\color{orangered}{\text{Incorreta}}$
Caso $n(B) = 77$ e $n(A) = 70$, o resultado que encontramos é satisfeito, assim como demonstra que a proposição do enunciado é inválida.
$• \ \text{Afirmativa III:}$ $\color{orangered}{\text{Incorreta}}$
Na verdade, a dupla ordenada assumi diversos valores, afinal, $n(B) - n(A) = 7$ é uma reta, observe:\begin{matrix}
n(B) = y &,& n(A) = x
\end{matrix}Por conseguinte:\begin{matrix}
y-x =7
\end{matrix}O que caracteriza uma reta.\begin{matrix}Letra \ (A)
\end{matrix}