En particular, todo conjunto totalmente ordenado es un conjunto dirigido.