Definition:Set Filtered by Filter of Subsets