The operation or relation of adding new symbols (constants, functions, relations) and specifying their interpretations to a structure or theory, producing a richer language and possibly new information about the same underlying domain. An expansion can be definitional (determined by the old structure) or genuine (introducing independent choices).

Principle

Augmentation of vocabulary governs expansion: extending the signature while keeping the original domain and previously interpreted symbols fixed, so that each expansion corresponds to a choice of interpretation for the added symbols consistent with any constraints.

Demonstration

Starting from a field (F,+,·,0,1), one may expand it to the language with an order by adding a binary relation symbol < and interpreting it as an ordering on F; alternatively, expand a graph by naming a particular vertex with a new constant symbol. Definitional expansions occur when the new symbol is given by an explicit formula in the old language.

Misapplication

Assuming an expansion is unique or canonical when no defining axioms are provided, or misunderstanding that expansion can introduce new elements—expansions only add vocabulary and interpretations, not new domain points unless one also extends the universe.

Consequence

Expansions increase expressive resources: they can make previously undefinable properties definable, can break automorphisms, and yield finer semantic distinctions. Model-theoretically, expansions correspond to enrichments of signatures and can change classification-theoretic properties.

Reversal

Reduct: the inverse viewpoint is forgetting added symbols. While every expansion has a reduct (its underlying smaller-language structure), not every reduct has a unique expansion back to the original enriched structure.

Boundary

Applies to adding symbol-level structure while preserving the underlying set and original interpretations; it excludes adjoining new domain elements, quotient constructions, or semantic reinterpretations of old symbols. Distinguish definitional expansion (conservative addition) from non-definitional (genuine choice) expansions.

Semantic Tension

Expansion versus conservative extension: an expansion may be conservative (adding symbols definable in the old language) or non-conservative (introducing genuinely new expressibility); confusion arises when users conflate 'adding notation' with 'adding expressive power'.

Synthesis

An expansion is the controlled enrichment of a structure's language: by adding symbols and giving them interpretations (either definitional or independent), one obtains a richer presentation of the same underlying domain that refines what can be expressed about it.