an ordered set