Glossary

Directed loop

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