Etymology
Today it means: A binary relation that is transitive, total, and well-founded. Full definition →
From pre- + wellordering.
Etymology from Wiktionary, CC BY-SA 4.0.