In first-order logic with equality, only normal models are considered, and so there is no term for a model other than a normal model.
Στη λογική πρώτου βαθμού με ισότητα, χρησιμοποιούνται μόνο κανονικά μοντέλα, κ έτσι δεν υπάρχει κάποιος όρος για κάποιο άλλο μοντέλο.