set V := {"v1", "v2", "v3"}; set E := {<"v1", "v2">, <"v2", "v3">, <"v3", "v1">}; defset delta(v) := { in E } union { in E } ;