En particular, la relación de inclusión formula_156 sobre el conjunto potencia formula_157 de un conjunto formula_1 es una relación de orden parcial.