C-minimal theory
In model theory , a branch of mathematical logic , a C-minimal theory is a theory that is "minimal" with respect to a ternary relation "C" with certain properties . 
<triplet> model theory <subj> mathematical logic <obj> subclass of