Combinador forAll: El combinador "forAll" nos indica que para toda lista ordenada se podrá probar la propiedad.