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