generalize the definition of `filter`

[affeldt-aist]

to any meet-semilattice as suggested by @t6s

#1868 (comment)

fyi: @CohenCyril

[CohenCyril]

Actually, the definition filter is dual to that of an ideal in a ring, a both should probably be factorized too ;)