![]() | This article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Let's have the discussion on the issue of merging at Talk:Well_partial_order PhS 10:32, 5 September 2005 (UTC).
As it stands, the Examples section is not accurately named. IMHO it ought to be called "Examples and Non-Examples" as it also lists (instructive) non-examples. [ɯ:] ( talk) 11:54, 30 June 2015 (UTC)
The last item in "Properties of wqos" is probably not what is intended. As it is stated now it is a rather trivial property and the requirement of "upward closedness" is superfluous. The property that is probably intended is that for every downward closed subset there is a finite subset such that if and only if no element satisfies . Leen Droogendijk ( talk) 12:19, 4 November 2015 (UTC)
The section formal definition currently states:
Clicking through to well-founded relation states that
This suggests that the formal definition is badly worded, or lacking clarity in explaining how and why well-foundedness should be considered as something different from, or needed in addition to the no-anti-chains condition. 67.198.37.17 ( talk) 18:13, 2 August 2017 (UTC)