Terminology First-Order Logic
I think that's often called a "variable assignment", since it assigns to each variable a value (a vertex in the graph, in your case).

If the graph is equipped with a set of such tuples, these might be considered to be hyperedges, i.e. edges connected to an arbitrary number of vertices (not necessarily two of them).