有限个凸集的交集仍是凸集;任意多个凸集的交集是凸集