Diz-se que dois conjuntos A e B não-vazios são disjuntos se: