Rudimenta enigo
El Vikipedio
En matematika logiko, se M kaj N estas modeloj en la sama lingvo L, funkcio
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 modela teorio. Rudimentaj enigoj kies fonta aro estas V (la universo de aroteorio) havas gravan rolon en la teorio de grandaj kardinaloj.