Definition talk:Strictly Well-Founded Relation

The symbology defines a minimal element not a least element.

The difference is that:
 * for a minimal element (they may be plural), no element is smaller than it
 * for a smallest element, it is smaller than all other elements.

The two necessarily coincide only when the relation in question is a total ordering (and there's result out there that proves it).

I believe the words here are correct but the symbology is wrong - you may want to review it. I have a reputation for always being wrong so please take everything I say here with suspicion. --prime mover 08:14, 11 August 2012 (UTC)


 * Good catch. The symbols were correct, but the description was wrong. --Andrew Salmon 19:40, 11 August 2012 (UTC)