Definition:Strictly Finer Filter on Set