SiP=(X,P) yQ=(Y,Q) son posets conX yY disjuntos, entoncesP+Q es el posetR=(X∪Y,R) donde el orden parcial se da porz≤w...SiP=(X,P) yQ=(Y,Q) son posets conX yY disjuntos, entoncesP+Q es el posetR=(X∪Y,R) donde el orden parcial se da porz≤w enR si y solo si (a)z,w∈X yz≤w enP o (b)z,w∈Y yz≤w enQ . Así,n+m consiste en una cadena conn puntos y una cadena conm puntos y sin comparabilidades entre ellos.
