list_to_set(List, Set) is true if and only if Set has the same elements that List, but without duplicates and respecting their original order.