9.4.3 交集取反