Função parcial

Origem: Wikipédia, a enciclopédia livre.

Esta página ou secção foi marcada para revisão, devido a inconsistências e dados de confiabilidade duvidosa. Se tem algum conhecimento sobre o tema, por favor verifique e melhore a consistência e o rigor deste artigo. Considere utilizar {{revisão-sobre}} para associar este artigo com um WikiProjeto.

Função Parcial

Definição:

     Uma Função Parcial é uma relação na qual cada elemento do domínio está relacionado com,
no máximo, um elemento do contradomínio (imagem).

     Uma função parcial é denotada por: 

                      f:A −  > B 

     O par <a,b> є f é usualmente denotado por:

                     f(a) = b ou f < a >  = b

     Por simplicidade, quando o primeiro componente do par <a,b> є f é um elemento resultante 
de um produto cartesiano como, por exemplo, a=<a1,a2>, tem-se que  (observe a omissão dos 
parênteses):

     f( < a1,a2 > )ouf <  < a1,a2 >  >  é usualmente denotado por f(a1,a2)ouf < a1,a2 > 

     Sejam os conjuntos A={a}, B={a,b} e C={0,1,2},
     São funções parciais:
        Ø:A->B
        {<0,a>,<1,b>}:C->B
     Não são funções parciais:
        AxB:A->B
        <:C->C