Gabarito disponível
Uma condição necessária para a existência do complementar do conjunto B em um universo A é
Resolução comentada
O complementar de B em relação ao universo A só está definido quando B é subconjunto de A.
O complementar de B em A é o conjunto dos elementos de A que não pertencem a B. Ele só é definido se B ⊂ A.
Análise das alternativas
B (A ⊂ B) inverte a relação. C (A ≠ B) não é necessária, pois o complementar existe também quando B = A, caso em que é o conjunto vazio. D (B = A) é um caso particular, não uma condição necessária. E (A = ∅) é uma condição restritiva e desnecessária.
Referência: Teoria dos Conjuntos – Complementar
Resolução comentada do VaiConcursos.