Conjunto ordenado y finito de operaciones que permite obtener la solución de un problema.