RELATIONS AND PARTIAL ORDERS