Oración 1: ([15, Definición 9.1.7]) Un co-local es un poset cuyo dual es un local
Oración 2: un co-local es un ret́ıculo distributivo completo que satisface a_ © iPI bi � © iPI a_ bi donde I es un conjunto arbitrario y a, bi son elementos del poset
Conector: en otras palabras,
Relación: entailment
Género: books