Jaskinia Wysoka – Za Siedmiu Progami, zwana też Jaskinią Wielką Wysoką i Jaskinią za Siedmioma Progami – jaskinia w Dolinie Kościeliskiej w Tatrach ZachodnichTatry polskie. Mapa topograficzna 1:10 000. Zarząd Topograficzny Sztabu Generalnego WP, Wydawnictwo Czasopisma Wojskowe, 1984.. Jest jedną z najdłuższych i najgłębszych jaskiń w Tatrach. Zajmuje trzecie miejsce pod względem długości i piąte pod względem deniwelacji w Polsce. Niektóre części jaskini są bardzo słabo zbadane i udokumentowane. Długość odkrytych dotychczas korytarzy wynosi 11660 metrów, a deniwelacja 435 metrów.
Jaskinia Wysoka – Za Siedmiu Progami jest określeniem obejmującym 3 jaskinie poznawane niezależnie od siebie i w wyniku odkryć w pewnym momencie (w różnych latach) łączone ze sobą. Są to: Jaskinia za Siedmiu Progami, Jaskinia Wysoka i Jaskinia Pośrednia. thumb|Plan jaskini|alt=|lewo|348x348px
Jaskinia za Siedmiu Progami Jest to największa i najwcześniej odkryta jaskinia. Ma dwa otwory wejściowe powstałe na tej samej szczelinie położone w górnej części Wąwozu Kraków, powyżej jaskini Szczelina za Siedmiu Progami, u podnóża południowo-zachodniej ściany Wysokiego Grzbietu w Żlebie Trzynastu Progów na wysokości 1455 i 1468 metrów n.p.m.