A directed loop is a directed edge whose head and tail are the same. In other words, the edge must have the form $(v, v)$. It is simply the digraph analogue of a loop.
Wikipedia
Page:
Context:
