Right-total relation