Definition:Proper Filter