La relación dual de una relación de orden