Show that a preorder can be extended to a weak order

105 Views Asked by At

A preorder is defined as a binary relation on a finite set that is reflexive and transitive. And a weak order is defined as a binary relation that is complete and transitive. I am wondering how to show that a preorder can be extended to a weak order?