Definition:Inverse Ordered Set