Etymology

prewellordering

P3R1E1W4E1L1L1O1R1D2E1R1I1N1G2

Today it means: A binary relation that is transitive, total, and well-founded. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok