Definition:Filter Basis