El predicado se especifica al operador como un