Rudimenta enigo

En matematika logiko, se ${\displaystyle M}$ kaj ${\displaystyle N}$ estas modeloj en la sama lingvo ${\displaystyle L}$, funkcio

${\displaystyle f:M\to N}$

nomiĝas rudimenta enigo se ${\displaystyle f(M)}$ estas rudimenta substrukturo de ${\displaystyle N}$ kaj ${\displaystyle f}$ estas modela izomorfio inter ${\displaystyle M}$ kaj ${\displaystyle f(M)}$.

Rudimentaj enigoj estas la plej gravaj bildigoj en modelteorio. Rudimentaj enigoj kies argumentaro estas V (la universo de aroteorio) havas gravan rolon en la teorio de grandaj kardinaloj.