« first day (805 days earlier)      last day (3524 days later) » 

11:03 AM
Would it be reasonable to have a separate tag for well-ordered sets?
Or should I simply use as an umbrella tag? (Well-ordered sets are not mentioned in the tag-wiki for this tag.)
 

« first day (805 days earlier)      last day (3524 days later) »