Zápis vety matematickou formulou

Dobrý deň,

Úlohou je napísať nasledujúce vety matematickou formulou.

1. Prostosť funkcie je postačujúca podmienka pre existenciu inverznej funkcie.

Môj koncept:

\(Nech f: A\rightarrow B, potom

\left (\forall x\in A\right )(x_{ 1} \neq x_{ 2} \Rightarrow f(x_{ 1} ) \neq f(x_{ 2} )) \Rightarrow f^{ -1} : B \rightarrow A)\)

Nie som si istý tou časťou s inverznou funkciou – je to v mojom zápise postačujúce?

2. Každé prirodzené číslo je prvočíslo alebo zložené číslo.

Tu vôbec neviem ako jasne v disjunkcii definovať prvočíslo a zložené číslo.

Ďakujem za pomoc.