Sejam os conjuntos e . O conjunto tal que e pode ser: