

Mas  é uma cadeia com respeito à inclusão, portanto ela assume que 
ou vice versa, de modo que os dois casais de elementos de X ambos pertencem ao mesmo conjunto da união, e esse conjunto é uma relação transitiva; então  também está neste conjunto, portanto em .