Un conjunto A se dice que esta totalmente ordenado respecto a una relación binaria R si la relación R es reflexiva, transitiva, antisimétrica y total: