Relation Properties via Digraphs
Any questions so far?