wellfoundedness

Articles

• Well-structured transition system
• Well-ordering principleStatement that all non empty subsets of positive numbers contains a least element
• Newman's lemma
• Well-founded relationType of binary relation