Dat je potreban i dovoljan uslov (8) da generalisana pseudo-Bulova transformacija $F\colon D\to L^m$ bude injektivna, gde je domen $D$ skup rešenja pseudo-Bulove jednacine $d(X)=1$, $D\subseteq L^n$.