locally finite sets