compact neighborhoods