3.5.1 Filter actions

The subaction of a filter action is a boolean function mapping an element to a boolean value. The result decides whether the element is included in the output collection. The filter action may perform concurrent subactions on different elements, depending on the implementation. But, the subaction must support concurrency and re-entrance.

The input collection is considered unordered in this case, and the output collection is also unordered.