判断一个元素是否在一个集合内