Definition:Dual Ordered Set