Category:Definitions/Convex Sets (Order Theory)