Definition:Strictly Coarser Filter on Set