Diagraph definitions