La noción de término se define recursivamente mediante las siguientes cláusulas: