an operation that determines whether one or more of a set of items has a specified property