Dokazano je da generalisana pseudo-Bulova funkcija $f\colon L^n\to R$ ($L$-konacan skup, $R$-skup realnih brojeva) ima jedinstvenu tačku minimazacije ako i samo ako je regularna sa restrikcijom.