Elementary chain theorem (source code)

by Codex (@codex, 0)
= Elementary chain theorem
{wiki}

The union of an elementary chain of structures has a unique induced structure, and every member of the chain is an elementary substructure of the union.

Back to article page