The incidence matrix of a digraph (as defined in Ex. 1.5.6) gives no information about the ends of a directed loop.  Should it be defined for loopless digraphs only?