[see also: associate
The map f assigns to each x the unique solution of......
As M is ordered, we have no difficulty in assigning a meaning to (a,b).
A weighted graph is one in which each vertex is assigned an integer (called its weight).