Definition:Filtered Set