Cualquier función de un orden discreto, es decir un conjunto ordenado por el orden identidad "=", es también monótono.