PropertiesOrdered SetSet in which we have defined a total order relation. Example The relation "...is less than…" in the set E = {2, 5, 7, 9, 12, 15, 21} is a total order relation. Therefore, set E is an ordered set.