covered pool

• indoor or roofed swimming pool