- given set $A$ and set $B$ - $\exists$ [[Injection|Injective]] functions $f: A \rightarrow B$ $\wedge$ $g: B \rightarrow A$ $\implies$ $\exists$ [[Bijection|Bijective]] function $h: A \rightarrow B$