Definition:Filtered Preordered Set