The purpose of this paper is to develop the foundations of a combinatorial abstraction of convexity that we call