Decomposition of topologies on lattices and hyperspaces.