Stolen base percentage

In model theory and set theory, which are disciplines within mathematics, a model $\mathfrak{B}=⟨B,F⟩$ of some axiom system of set theory $T$ in the language of set theory is an end extension of $\mathfrak{A}=⟨A,E⟩$, in symbols $\mathfrak{A}{\subseteq }_{\text{end}}\mathfrak{B}$, if

• $\mathfrak{A}$ is a substructure of $\mathfrak{B}$, and
• $b\in A$ whenever $a\in A$ and $bFa$ hold, i.e., no new elements are added by $\mathfrak{B}$ to the elements of $\mathfrak{A}$.

The following is an equivalent definition of end extension: $\mathfrak{A}$ is a substructure of $\mathfrak{B}$, and $\{b\in A:bEa\}=\{b\in B:bFa\}$ for all $a\in A$.

For example, $⟨B,\in ⟩$ is an end extension of $⟨A,\in ⟩$ if $A$ and $B$ are transitive sets, and $A\subseteq B$.