Teori C-minimal

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" sehubungan dengan tatanan linear.