Model
A well-formed formula 
is said to be true for the interpretation
(written 
) iff every
sequence in 
(the set of all denumerable sequences
of elements of the domain of 
), satisfies 
. 
is said to be false
for 
iff no sequence in 
satisfies 
.
Then an interpretation 
is said to be a model for a set 
of well-formed formulas iff every
well-formed formula in 
is true for 
(Mendelson 1997,
pp. 59-60).
Contact the MathWorld Team
apply bilateral filter to dog image