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