COMPOUND: tipo de dato genérico que representa la aplicación de un operador (predicado, símbolo de función o conectivo lógico) sobre una lista de argumentos (sentencias o términos)