Database copyright information Server information
foldoc: "wellordered set" dictinfo.com:wikt-sv-ALL-2023-07-27: "wellordered set"