Lately, this question has been bugging me for a while. I wanted to know how a set iterator knows what it has already iterated in the set if there is no notion of ordering in