Definition of "preorders"

preorders