Piscina encerrada por un edificio u otro tipo de estructura y que se encuentra cubierta por un tejado.