Sejam e subconjuntos de , não vazios, possuindo mais de um elemento. Dada uma função , definimos x por , para todo . Podemos afirmar que