convex space

set equipped with a binary convex combination operation

Categorie: