1: \begin{definition}

2: \label{dfn:poTarget}

3: 

4: Due to the results in Theorem

5: \ref{thm:TargetSing},

6: it makes sense to define a \textit{pre-order of transfer targets}

7: % on the set of abelian type invariants

8: on the image \(F(\mathrm{Obj}(\mathcal{G}_s))\) of the functor \(F\)

9: in the object class \(\mathrm{Obj}(\mathcal{A})\)

10: of the category \(\mathcal{A}\) of abelian groups

11: in the following manner.

12: 

13: For two objects \((G,U),(H,V)\in\mathrm{Obj}(\mathcal{G}_s)\),

14: a morphism \(\varphi\in\mathrm{Mor}_{\mathcal{G}_s}((G,U),(H,V))\),

15: and the images

16: \(F((G,U))=U/U^\prime,\ F((H,V))=V/V^\prime\in\mathrm{Obj}(\mathcal{A})\),

17: and \(F(\varphi)=\tilde{\varphi}\in\mathrm{Mor}_{\mathcal{A}}(U/U^\prime,V/V^\prime)\),\\

18: let (non-strict) \textit{precedence} be defined by

19: 

20: \begin{equation}

21: \label{eqn:TargetPrecedence}

22: V/V^\prime\preceq U/U^\prime

23: :\Longleftrightarrow

24: V/V^\prime\simeq (U/U^\prime)/\ker(\tilde{\varphi}),

25: \end{equation}

26: 

27: \noindent

28: and let \textit{equality} be defined by

29: 

30: \begin{equation}

31: \label{eqn:TargetEquality}

32: V/V^\prime=U/U^\prime

33: :\Longleftrightarrow

34: V/V^\prime\simeq U/U^\prime,

35: \end{equation}

36: 

37: \noindent

38: if the induced epimorphism

39: \(\tilde{\varphi}:\,U/U^\prime\to V/V^\prime\)

40: is an isomorphism.

41: 

42: \end{definition}

43: