This addon allows users to apply set operations on filters: Remove or add certain ids from/to a selection, but also to remove or add another filter's outcome from/to a filter. This can be stacked, so the filter domain can be arbitrarily complicated.
The math is hidden from the user as far as possible, in the hope it's still user friendly.
After this addon is installed, every list view shows a new menu 'Advanced filters'. Here the set operations can be applied as necessary.
Deinstalling this module will leave you with filters with empty domains. Use this query before uninstalling to avoid that:
alter table ir_filters rename domain_this to domain
Once the user has seen at least one product this snippet will be visible.