Haitzuloa, halaber harkaitz-zuloa, hartzuloa, koba (Heg.) edo kobazuloa (Heg.), lur azpian dagoen zulo sistema naturala da, uraren, labaren edo izotzaren higaduraren bidez sortzen dena. Kasurik ohikoena euri ur azidoak kareharria disolbatzerakoan agertzen dena izaten da.

Espeleologia da haitzuloak aztertzen diharduen zientzia adarra, geologia, biologia eta meteorologia uztartzen dituena, besteak beste. Gizakia haitzuloetan bizi izan zen, Historiaurrean. Euskal Herrian, egitura geologiko karstikoak ugariak direnez, haitzuloak ere aunitz daude.

Euskaraz hitz ugari ditugu kontzeptu hau izendatzeko: koba, kobazulo, leize, leizezulo, harpe, karbi, osin, troka eta haitzulo. Denek ez dute zehatz-mehatz esanahi bera. Leizeak sakon handikoak dira; eta harpeak edo kobak, zabalagoak sarreran, eta motzagoak.

Espeleogenesia izena ematen zaio haitzuloen sorrera prozesuen multzoari. Jarduera kimiko eta geologikoek (indar tektonikoek eta atmosferikoek) eragiten dute.

Inguruko harrien garai berean sorturiko haitzuloak dira. Hodi bolkanikoa sumendiak eztanda egiten duenean gertatzen da, magma fluidoak solidotzen ari den arroka zeharkatzen duenean. Laba kanporatzen denean zuloa bertan gelditzen da^[1]. Laba hodirik handiena Hawaii uhartean aurkitzen da, Kazumura haitzuloa da.

Arrokak sortu eta egonkortu ondoren sortzen diren haitzuloak dira. Arroka meteorizazioaren eraginez deskonposatu egiten da eta higadurak zuloa egiten du. Haigatzailearen arabera mota desberdinetako haitzuloak eratzen dira:

• Itsasertzeko haitzuloak: olatuek kostaldea kolpatzean sortzen dira. Edozein motatako arrokatan gerta daitezke eta normalean nahiko txikiak izaten dira.
• Izotzetako haitzuloak: glaziar baten azpian eratzen dira, glaziarren barneko izotza urtu eta ur korronteak agertzen direnean.
• Haitzulo karstikoak: ohikoenak dira eta kareharrizko eta dolomiazko arroketan gertatzen da. Euri urak CO₂ garraiatzen du eta disolbatzerakoan azido karbonikoa eratzen da. Honez ura azidotu egiten du eta arroka disolbatzen du. Milioka urte iraun ditzakeen prozesua izanik Estalaktitak (goitik behera) eta estalagmitak (behetik gora) dira, eta biak elkartzen direnean zutabeak sortzen dira.

• Mammoth Cave (Estatu Batuak): haitzulo sistema luzeena da, 628 km-ko luzera baitu^[2]. Itsaso azpiko haitzulorik luzeena 215 km-koa da eta Mexikon aurkitzen da^[2].
• Krubera leizea (Abkhazia, Georgia): haitzulorik sakonena da. 2.197 metrotako sakonera du^[3].
• Vrtoglavica leizea (Eslovenia): Osin bertikal sakonena da, 603 metro ditu.
• Sarawak leizeak (Borneo, Malaysia) ganbara handiena du, 700 x 400 metroko azalera eta 80 metrotako garaiera. 30 milioi m³-tik gorako bolumena du.
• Son Doong (Vietnam): galeria luzeena du, 4'6 kilometrokoa, eta hainbat zatitan 80 metrotako altuera eta 140 metrotako zabalera dituena.

• Araba:
  • Lezea
  • Mairuelegorreta

• Bizkaia:
  • Antoliña
  • Arenaza
  • Axlor
  • Baltzola
  • Goikolau
  • Pozalagua
  • Santimamiñe
  • Torca del Carlista
  • Venta Laperra

• Gipuzkoa:
  • Altxerri
  • Amalda
  • Arrikrutz
  • Ekain
  • Lezetxiki
  • Praileaitz

• Lapurdi:
  • Sara

• Nafarroa:
  • Koskobilo
  • Mendukilo
  • Urdazubi
  • Zugarramurdi

• Nafarroa Beherea:
  • Izturitze eta Otsozelaiko harpeak

• Zuberoa:
  • Elzarreko karbia
  • Etxeberriko karbia

Historiaurreko gizakien aztarnen artetik, ikusgarriak dira labar-pintura deitutakoak, hau da, hormetan egindako marrazkiak. Batik bat, animalia basatiak irudikatzen dituzte margo hauek, zaldiak, oreinak eta zezenen familiakoak, ziur aski ehizarekin lotutako erritu funtzioarekin.

• Karst

• (Ingelesez) "Journal of Cave and Karst Studies"
• (Gaztelaniaz) Espainiar Estatuko kobazulo turistikoak
• Espeleologoen lanari buruzko erreportajea Argia astekarian.