$A=\{0,1,2,3, \ldots\}$ is the set of non-negative integers. Let $F$ be the set of functions from $A$ to itself. For any two functions, $f_1, f_2 \in \mathrm{~F}$ we define

$$\left(f_1 \odot f_2\right)(n)=f_1(n)+f_2(n)$$

for every number $n$ in $A$. Which of the following is/are CORRECT about the mathematical structure $(\mathrm{F}, \odot)$ ?

Let Z_n be the group of integers {0, 1, 2, ..., n − 1} with addition modulo n as the group operation. The number of elements in the group Z₂ × Z₃ × Z₄ that are their own inverses is __________.

Let $$f:A \to B$$ be an onto (or surjective) function, where A and B are nonempty sets. Define an equivalence relation $$\sim$$ on the set A as

$${a_1} \sim {a_2}$$ if $$f({a_1}) = f({a_2})$$,

where $${a_1},{a_2} \in A$$. Let $$\varepsilon = \{ [x]:x \in A\} $$ be the set of all the equivalence classes under $$\sim$$. Define a new mapping $$F:\varepsilon \to B$$ as

$$F([x]) = f(x)$$, for all the equivalence classes $$[x]$$ in $$\varepsilon $$.

Which of the following statements is/are TRUE?