show/hide this revision's text 1 [made Community Wiki]

Relations are a toy model for linear maps. In fact, they can be thought of as matrices over the boolean semi-ring.