preorder : Related Words Words similar in meaning to preorder
- quasiorder«
- well-order«
- total order«
- partial order«
- depth-first«
- transitive«
- preorders«
- subtree«
- root«
- graph«
- right«
- relation«
- reflexive«
- partition«
- recursive«
- equivalence relation«
- set«
- preordered set«
- symmetric«
- precongruence«
- order«
- reflexive closure«
- left«
- binary relation«
- available«
- total preorder«
- morphism«
- equivalence«
- symbol ≤«
- preordered class«
- reachability relationship«
- cycle«
- object«
- pair«
- x≤y«
- alexandrov topology«
- category«
- transitive closure«
- acyclic graph«
- definition«
- set s«
- transitivity«
- interval«
- element«
- y. injection«
- reachability preorder«
- possible preorders«
- notation ←«
- infinite topological space«
- finite preorders«
- finite preorder«
- encompassment preorder«
- embedding relation«
- cycle equivalence class«
- countable total ordering«
- construction multiple preorders«
- topology«
- simulation preorders«
- preordered set p«
- preorder relation«
- ordinary intuition«
- inverse complement«
- specialization preorders«
- vertex«
- subtyping relation«
- extra interval«
- notation«
- edge«
- preordered«
- minor relation«
- thin category«
- path connection«
- binary relation ≤«
- reduction relation«
- direction marker«
- precedes«
- finite topology«
- such category«
- subterm«
- specialization preorder«
- disconnected component«
- strict relation«
- categorical framework«
- substitution instance«
- notational device«
- equivalence relation ~«
- interior algebra«
- finite topological space«
- straightforward fashion«
- enriched category«
- equal element«
- turing reduction«
- equality«
- net«
- binary relation r«
- kripke semantics«
- set p«
- a.«
- symmetry property«
- constructions«
- surjection«
- class«
- reachability«
- ring homomorphism«
- complexity class«
- common model«
- modal logic«
- reflexivity«
- formal definition«
- path«
- equivalence class«
- rise«
- upper bound«
- function«
- example«
- topological space«
- graph theory«
- quotient«
- 1-to-1 correspondence«
- Kripke frame«