Origin: Latin prefix pre-
Definition, synonyms and related words
A binary relation that is transitive, total, and well-founded.