Definition of "preorder"

preorder