Rudimenta enigo

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

$f:M\to N$

nomiĝas rudimenta enigo se $f(M)$ estas rudimenta substrukturo de $N$ kaj $f$ estas modela izomorfio inter $M$ kaj $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.