Overview 



Transitive and WellFounded Relations 



Transitive and WellFounded Relations as Properties 



WellFounded Recursion 



Recursion Theorem for WellFounded Relations as Properties 


