Left-total relation

Redirect to: