A linearly ordered set is called well\-ordered if any of its non\-empty subsets has a least element\.
There is a page for linearly ordered set. It is called "totally ordered set". This is one of those situations where it would be nice for arbital to have a synonym system.
Comments
Eric Bruylant
nods, it's definitely something we want, and an 80/20 version was on the last list of wiki features to prioritize. The focus for the next while is going to be discussion features (for details see the announcement in #updates or #general), but when we return to improving the wiki side of Arbital it'll be one of the earlier pieces to add. I've fixed the link in case for now.