定義有效交集