Geometry MOC Convex set Let π be an affine space (or vector space) over β1. A subset πΎ βπ is said to be convex iff for any π₯,π¦ βπ the affine combination π‘π₯ +(1 βπ‘)π¦ belongs to πΎ for all π‘ β[0,1]. affine tidy | en | SemBr Footnotes We consider complex vector spaces as real vector spaces of twice the dimension. β©