A linear update procedure that returns a bag containing just the elements of bag that satisfy predicate.