Category:Convex Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Convex Sets in the context of Order Theory.
Definitions specific to this category can be found in Definitions/Convex Sets.


A subset $A$ of an ordered set $\left({S, \preceq}\right)$ is convex (in $S$) if and only if:

$\forall x, y \in A: \forall z \in S: x \preceq z \preceq y \implies z \in A$