Oka önsavı
Matematiğin bir alt dalı olan çok değişkenli karmaşık analizde Oka önsavı kompleks koordinat uzayının özalt kümesi olan bir holomorfluk bölgesinde -\log(d_{b\Omega} (z)) fonksiyonunun çoklualtharmonik olması gerektiğini ifade eden bir sonuçtur. Burada, d_{b\Omega}(z) fonksiyonu \Omega'nın sınırı olan b\Omega'ya uzaklık fonksiyonudur ve \Omega'nın içindeki ve kapanışının dışındaki z için iyi tanımlıdır. Bu sonuç sayesinde, holomorfluk bölgesinin sözde dışbükey olduğu gösterilmiş olur.