Sublocale sets and sublocale lattices - Picado, Jorge (2006)