Order-convex

1. redirect Partially ordered set#Intervals

{{rcat shell|

{{r to section}}

{{r from subtopic}}

}}