Definition:Trivial Filter