Filter on empty set implemented