quality:corruption
Convexity spaces

The notion of convexity may be generalised to other objects, if certain properties of convexity are selected as axioms.

Given a set X, a convexity over X is a collection 𝒞 of subsets of X satisfying the following axioms:

The elements of 𝒞 are called convex sets and the pair (X, 𝒞) is called a convexity space. For the ordinary convexity, the first two axioms hold, and the third one is trivial.

For an alternative definition of abstract convexity, more suited to discrete geometry, see the convex geometries associated with antimatroids.