A -structure is existentially closed in a class of -structures, if for any -structure with we have that is 1-elementary in , i.e., for every existential -formula and every we have that

Also for a -theory we say that is an existentially closed model of , if is existentially closed in the class of models of ::: ::: :::