FinSet membership predicate (not only BOOL!!)