The filter operator