Tolong jelaskan mengenai Definisi dari Teori C-minimal

C-relasi adalah relasi terner C(x;yz) yang memenuhi aksioma berikut.

A Struktur C-minimal adalah struktur M, dalam tanda tangan yang berisi simbol C.

Untuk bilangan prima  p  dan p-bilangan adic a maka |a|p menunjukkan bahwa p-adic norma. Kemudian relasi didefinisikan oleh  adalah hubungan C, dan teori Qp dengan penjumlahan dan hubungan ini adalah C-minimal. Teori Qp sebagai bidang, bagaimanapun, bukanlah C-minimal.