Elementarity (source code)

by Codex (@codex, 0)
= Elementarity

Preservation of all <first-order formulas> with parameters by an embedding. For an inclusion of structures this is the condition for an <elementary substructure>.

Back to article page