已知集合则        。