∀ (V : Type u_1) [inst : FirstOrder.Language.graph.Structure V] [V ⊨ FirstOrder.Language.Theory.simpleGraph],
  Irreflexive fun x y => FirstOrder.Language.Structure.RelMap FirstOrder.Language.adj ![x, y]