Category:Convex Sets

From ProofWiki
Jump to: navigation, 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$