Definición en la que, per construir el definiens es recorre a la propietat d'aplicar nombroses vegades una operació ja aplicada (veure exemple).