Yes, but I believe that Total Order is used for sorting (i.e. sorting is applied on a list of elements in which every pair has a meaningful relationship). And the filtered out elements are then appended on the result of this sort.
Does it make sense to throw elements out of the final result if they do not have the predicate which is used for sorting? I am in favor of having them in random order.