Definition:Filtered Set


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