El concepto de dependencia funcional aparece en varios contextos de la matemática y la lógica y se refiere a que determinados entes matemáticos pueden expresarse como funciones matemáticas de otros entes.