Step 2.7.6: Digraphs Rules & Definitions