Sabe-se que três conjuntos M, N e P são tais que M N, N P e P M. Para tanto, é condição necessária e suficiente que