Directed Graphs
lA Directed Graph is a way of presenting a
binary relation:
lThe nodes (shapes) of a directed graph correspond to the elements in
the domain.
lThe arcs (arrows) of a directed graph correspond to the pairs that
are related.