Weak_order_of_permutations