Structure

mapping of mathematical formulas to a particular meaning, in universal algebra and in model theory