Olá, bom dia. Quando se fala em: Existe x pertencente à A, tal que X pertence à C. (\exists x \in A | x \in C) Isso significa dizer que necessariamente o conjunto de A precisa estar dentro do conjunto C, ou um diagrama contendo um conjunto A com intersecção ao conjunto C também validaria essa afirmação? Desde já agradeço.