求下述集合等式成立的充要条件，并证明结论。