Dada la simetría de todos los conceptos, esta operación preserva los teoremas del orden parcial.