Continuação do sumário da aula anterior: cadeia, ideal e filtro de ordem, mergulho de ordem e isomorfismo de ordem; construções de cpos a partir de outros: soma, união e produto de cpos.

Inf e sup semirreticulados.