Teori C-minimal itu apa sih?

Dalam teori model, cabang logika matematika, Teori C-minimal adalah teori yang "minimal" sehubungan dengan hubungan terner C dengan properti tertentu. Bidang tertutup secara aljabar dengan penilaian (Krull) mungkin adalah contoh yang paling penting.

Gagasan ini didefinisikan dalam analogi dengan teori o-minimal, yang "minimal" (dalam arti yang sama) sehubungan dengan tatanan linear.