Right-total relation

Summary