Some of the arguments in the proof will be repeated in the proofs of later lemmas which are more precise than this one (because they deal with a given module $M$ or a given prime $\mathfrak p$ and not with the collection of all of them). \medskip\noindent Proof of (1). Let $\mathfrak p$ be a prime of $R$. Then we have $$ \text{Ass}_S(N \otimes_R \kappa(\mathfrak p)) = \text{Ass}_{S/\mathfrak pS}(N \otimes_R \kappa(\mathfrak p)) = \text{Ass}_{S \otimes_R \kappa(\mathfrak p)}(N \otimes_R \kappa(\mathfrak p)) $$ the first equality by Lemma \ref{lemma-ass-quotient-ring} and the second by Lemma \ref{lemma-localize-ass} part (1). This prove that $A = A'$. The inclusion $A_{fin} \subset A'_{fin}$ is clear. \medskip\noindent Proof of (2). Each of the inclusions is immediate from the definitions except perhaps $A_{fin} \subset A$ which follows from Lemma \ref{lemma-localize-ass} and the fact that we require $\mathfrak p = R \cap \mathfrak q$ in the formulation of $A_{fin}$. \medskip\noindent Proof of (3). The equality $A = A_{fin}$ follows from Lemma \ref{lemma-localize-ass} part (3) if $S$ is Noetherian. Let $\mathfrak q = (g_1, \ldots, g_m)$ be a finitely generated prime ideal of $S$. Say $z \in N \otimes_R M$ is an element whose annihilator is $\mathfrak q$. We may pick a finite submodule $M' \subset M$ such that $z$ is the image of $z' \in N \otimes_R M'$. Then $\text{Ann}_S(z') \subset \mathfrak q = \text{Ann}_S(z)$. Since $N \otimes_R -$ commutes with colimits and since $M$ is the directed colimit of finite $R$-modules we can find $M' \subset M'' \subset M$ such that the image $z'' \in N \otimes_R M''$ is annihilated by $g_1, \ldots, g_m$. Hence $\text{Ann}_S(z'') = \mathfrak q$. This proves that $B = B_{fin}$ if $S$ is Noetherian. \medskip\noindent Proof of (4). If $N$ is flat, then the functor $N \otimes_R -$ is exact. In particular, if $M' \subset M$, then $N \otimes_R M' \subset N \otimes_R M$. Hence if $z \in N \otimes_R M$ is an element whose annihilator $\mathfrak q = \text{Ann}_S(z)$ is a prime, then we can pick any finite $R$-submodule $M' \subset M$ such that $z \in N \otimes_R M'$ and we see that the annihilator of $z$ as an element of $N \otimes_R M'$ is equal to $\mathfrak q$. Hence $B = B_{fin}$. Let $\mathfrak p'$ be a prime of $R$ and let $\mathfrak q$ be a prime of $S$ which is an associated prime of $N/\mathfrak p'N$. This implies that $\mathfrak p'S \subset \mathfrak q$. As $N$ is flat over $R$ we see that $N/\mathfrak p'N$ is flat over the integral domain $R/\mathfrak p'$. Hence every nonzero element of $R/\mathfrak p'$ is a nonzerodivisor on $N/\mathfrak p'$. Hence none of these elements can map to an element of $\mathfrak q$ and we conclude that $\mathfrak p' = R \cap \mathfrak q$. Hence $A_{fin} = A'_{fin}$. Finally, by Lemma \ref{lemma-localize-ass-nonzero-divisors} we see that $\text{Ass}_S(N/\mathfrak p'N) = \text{Ass}_S(N \otimes_R \kappa(\mathfrak p'))$, i.e., $A'_{fin} = A$. \medskip\noindent Proof of (5). We only need to prove $A'_{fin} = B_{fin}$ as the other equalities have been proved in (4). To see this let $M$ be a finite $R$-module. By Lemma \ref{lemma-filter-Noetherian-module} there exists a filtration by $R$-submodules $$ 0 = M_0 \subset M_1 \subset \ldots \subset M_n = M $$ such that each quotient $M_i/M_{i-1}$ is isomorphic to $R/\mathfrak p_i$ for some prime ideal $\mathfrak p_i$ of $R$. Since $N$ is flat we obtain a filtration by $S$-submodules $$ 0 = N \otimes_R M_0 \subset N \otimes_R M_1 \subset \ldots \subset N \otimes_R M_n = N \otimes_R M $$ such that each subquotient is isomorphic to $N/\mathfrak p_iN$. By Lemma \ref{lemma-ass} we conclude that $\text{Ass}_S(N \otimes_R M) \subset \bigcup \text{Ass}_S(N/\mathfrak p_iN)$. Hence we see that $B_{fin} \subset A'_{fin}$. Since the other inclusion is part of (2) we win.