Definition:Filtered Set


 * Definition:Filtered Preordered Set
 * Definition:Set Filtered by Filter of Subsets
 * Definition:Filter