FinSet intersection
FinSet membership predicate