GeometryBy analogy, thesubsetof theCartesian productX×Xof any setXwith itself, consisting of all pairs (x,x), is called thediagonal. It is the graph of the identity relation. It plays an important part in geometry: for example thefixed pointsof amappin