Conjuntos de ordem parcial (cpo). Partindo de cpos conhecidos e estudados no âmbito d eoutras disciplinas, forma sendo introduzidos ou recordados vários conceitos tais como

majorante, minorante, supremo, ínfimo, máximo e mínimo de subconjuntos de um cpo, cpo completo.