eine Boolesche Funktionf : {0,1}ⁿ → {0,1}, für die es wenigstens zwei Variablen x_i und x_j mit 1 ≤ i< j ≤ n so gibt, daß für alle (α₁,…,α_n) ∈ {0, 1}ⁿ\begin{array}{l}f({\alpha }_{1},\ldots, {\alpha }_{i},\ldots, {\alpha }_{j},\ldots, {\alpha }_{n})\\ \quad =f({\alpha }_{1},\ldots, {\alpha }_{j},\ldots, {\alpha }_{i},\ldots, {\alpha }_{n})\end{array} gilt. f heißt in diesem Fall partiell symmetrisch in den Variablen x_i und x_j.

Die Boolesche Funktion f : {0,1}ⁿ → {0, 1} heißt partiell symmetrisch in einer Teilmenge λ ⊆ {x₁,…,x_n} der Variablen von f, wenn f partiell symmetrisch in je zwei Variablen x_i, x_j ∈ λ ist. Sie heißt partiell symmetrisch in einer Partition P der Variablenmenge {x₁,…,x_n}, wenn f partiell symmetrisch in jeder Klasse λ ∈ P ist.

Ist f eine unvollständig spezifizierte Boolesche Funktion, so heißt f partiell symmetrisch in einer Partition P ihrer Variablenmenge, wenn es eine vollständige Erweiterung (Erweiterung einer Booleschen Funktion) von f gibt, die partiell symmetrisch in der Partition P ist.