Convex set

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

A set is convex when the entire segment formed by every pair of its points and every lambda in [0,1] remains in the set.

atlas-convex-set · canonical_mko

Prerequisite nodes