Definition:Minimal Condition on Ordered Set