how do I draw a graph which is reflexive, transitive, and antisymmetric?