set->predicate func.