The abstract theory of orthogonality in rewriting is studied and developed by means of an example: braids.
Familiarity with orthogonality in term rewriting is assumed.