b'\n_START_ARTICLE_\nFunci\xc3\xb3n parcial\n_START_SECTION_\nFunci\xc3\xb3n parcial\n_START_PARAGRAPH_\nUna funci\xc3\xb3n parcial es una relaci\xc3\xb3n que asocia elementos de un conjunto (a veces denominado dominio) con, como m\xc3\xadnimo, uno de los elementos de otro conjunto (que puede ser el mismo), llamado codominio. En cualquier caso, no es necesario que todos los elementos del dominio est\xc3\xa9n asociados con alg\xc3\xban elemento del codominio._NEWLINE_Si todos los elementos de un conjunto X se asocian con un elemento de Y mediante una funci\xc3\xb3n parcial f:X\xe2\x86\x92Y , entonces se dice que f es una funci\xc3\xb3n total, o simplemente una funci\xc3\xb3n, como se entiende tradicionalmente este concepto en matem\xc3\xa1ticas. No todas las funciones parciales son funciones totales.\n_START_SECTION_\nFunci\xc3\xb3n total\n_START_PARAGRAPH_\nEn matem\xc3\xa1ticas, una funci\xc3\xb3n se dice que es total si est\xc3\xa1 definida para todo el conjunto de partida. Para comprender esto, debemos saber que:_NEWLINE_Sea f: A \xe2\x86\x92 B, diremos que f est\xc3\xa1 definida para un elemento   si existe un par  . Esto se escribe como f(a) = \xe2\x86\x93. Por el contrario, escribiremos f(a) = \xe2\x86\x91 cuando f no est\xc3\xa1 definida para a._NEWLINE_Una funci\xc3\xb3n que no es total, es decir, que est\xc3\xa1 indefinida para alg\xc3\xban/os elemento/s, se conoce como parcial.\n_START_SECTION_\nDiscusi\xc3\xb3n y ejemplos\n_START_PARAGRAPH_\nEl primero de los diagramas mostrados representa una funci\xc3\xb3n parcial; no es una funci\xc3\xb3n total porque el elemento 2 en el conjunto de la izquierda no est\xc3\xa1 asociado con ning\xc3\xban elemento del conjunto de la derecha. _NEWLINE_Consid\xc3\xa9rese la funci\xc3\xb3n del logaritmo natural, que relaciona el conjunto de los N\xc3\xbameros Reales consigo mismo. El logaritmo de un n\xc3\xbamero real negativo no es un n\xc3\xbamero real, as\xc3\xad que el logaritmo natural no asocia a todos los elementos del codominio con un elemento del dominio. Por lo tanto, el logaritmo natural no es una funci\xc3\xb3n total cuando se la considera como una funci\xc3\xb3n del conjunto de n\xc3\xbameros reales consigo misma, sino una funci\xc3\xb3n parcial. Si el dominio se restringiera al conjunto de los reales positivos, entonces si se tratar\xc3\xada de una funci\xc3\xb3n total.'