Definiciones + Predicados

Añadidas las defiiniciones, los predicados, y dos predicados auxiliares.