3 ms·

If you need an ordered set just use the time proven tradition of "poor man's set" in Python: (now ordered) dict keys