Dado un conjunto formula_1 con un orden parcial bien fundamentado formula_2 sobre sus elementos, la prueba de una propiedad formula_3 para todo elemento formula_4 de formula_1 se realiza por inducción estructural basándose en la siguiente regla de inferencia: