Un orden definido para algunos, pero no necesariamente todos, de lo pares de elementos. Por ejemplo, las series (a, b) y (a, c, d) son subconjuntos de (a, b, c, d) pero ninguno es un subconjunto entre sí. Así que "Subconjunto de" es un orden parcial en conjuntos. Definición formal: un orden parcial es una relación binaria que es reflexiva, transitiva y antisimétrica.