bicondicional

["Mira" <mira@xxxxxxxxxxxxx>]

Ola, se alguem puder me ajudar...

Bom, estou tentando entender o que acontece com a frase a seguir: (Sejam A,B
e C conjuntos)

"A eh subconjunto de (C-B) se, e somente se A inter B eh vazio"

Na ida deste bicondicional concluo que A eh subconjunto de C. Devo usar essa
conclusao para demonstrar a volta?
A volta esta de alguma forma presa a ida? Ou ela eh independente? Pois,
poderia escolher 3 conjuntos disjuntos e a volta nao seria verdadeira!
Preciso demonstrar o "teorema" ( se eh que ele eh!).

Bom,ja deu pra perceber que me perdi!

Obrigado antecipadamente!

Mira