From Wikipedia, the free encyclopedia
- is a substructure of , and
- whenever and hold, i.e., no new elements are added by to the elements of .
The following is an equivalent definition of end extension: is a substructure of , and for all .
For example, is an end extension of if and are transitive sets, and .
|This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.|