Teorema de Correspondência

A bijeção $\Phi:\{D_i\}\to\{O_i\}$ é única: $\Phi(D_i)=O_i$ para todo $i$

The bijection $\Phi:\{D_i\}\to\{O_i\}$ is unique: $\Phi(D_i)=O_i$ for all $i$