Una función parcial es una relación que asocia elementos de un conjunto (a veces denominado dominio) con, como mínimo, uno de los elementos de otro conjunto (que puede ser el mismo), llamado codominio.