Kompakt tre for Halfdan Lie