Filter-Based Abstractions