Graph in which no non-trivial path exist between a node and itself.