If there monomorphisms $f : A \rightarrow B$ and $g : B \rightarrow A$ then there is an isomorphism $h : A \rightarrow B$
Analogue of the Cantor-Bernstein-Schroeder theorem for general algebraic structures