structure
mapping of mathematical formulas to a particular meaning, in universal algebra and in model theory
model
in model theory, an interpretation, which assigns the value true to a formula
standard model
model of a set theory in which the internal membership relation coincides with the external membership relation
mouse
small model of (fragment of) Zermelo–Fraenkel set theory with desirable properties