Se deduce que un conjunto totalmente ordenado es un retículo distributivo.