Sea A un conjunto finito de R: A→A una relación de orden, el diagrama se construye con las siguientes convenciones: