Sendo e dois conjuntos tais que , então é o conjunto