Infima of hyperspace topologies.