I’m curious if the definition 2.2 found in this unpublished paper at http://polynomial3sat.org/ has been defined elsewhere in the math literature?

I found a definition in an unpublished paper and I’m curious if the edge-sequence definition 2.2 found in this paper at http://polynomial3sat.org/ has been defined elsewhere in the math literature?