Noun

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