1: \begin{definition}

2: \label{Definition5} Let $A$ be a ring. Let $B$ be an $A$-algebra. Let

3: $n\in\mathbb{N}$. Let $u\in B$. We say that the element $u$ of $B$ is

4: $n$\textit{-integral over }$A$ if it satisfies the four equivalent assertions

5: $\mathcal{A}$, $\mathcal{B}$, $\mathcal{C}$ and $\mathcal{D}$ of

6: Theorem~\ref{Theorem1}.

7: 

8: Hence, in particular, the element $u$ of $B$ is $n$-integral over $A$ if and

9: only if it satisfies the assertion $\mathcal{A}$ of Theorem~\ref{Theorem1}. In

10: other words, $u$ is $n$-integral over $A$ if and only if there exists a monic

11: polynomial $P\in A\left[  X\right]  $ with $\deg P=n$ and $P\left(  u\right)

12: =0$.

13: \end{definition}