You can speak of a graph,Originally Posted bydcapdogg

G=(X,R) because R is a subset of a two-element power set of X. But since R is transitive on X implies that if (x,y) in R and (y,z) in R then (x,z) in R, same as being viewed as a digraph on X having this property.