Za skupove A i B kažemo da su disjunktni ako nemaju zajedničkih elemenata, tj.

Kvadratnu matricu čija je determinanta različita od nule nazivamo regularna matrica.

Neka su A i B neprazni skupovi. Svaki podskup Kartezijevog produkta AxB zovemo relacijom na AxB.

Neka je F(x,y,z,...) funkcija algebre sudova. Svaka disjunkcija \(k_{i}(x,\neg x,y,\neg y,...)\)  sudova ili njihovih negacija koja ima svojstvo F(.)=0 kada je ki(.)=0 zove se bazična disjunkcija zadane funkcije F.

Neka je F(x,y,z,...) funkcija algebre sudova. Svaka konjunkcija \(k_{i}(x,\neg x,y,\neg y,...)\) sudova ili njihovih negacija koja ima svojstvo F(...)=1 kada je ki(...)=1 zove se bazična konjunkcija zadane funkcije F.

Skup koji nije konačan je beskonačan.

Funkcija koja je istovremeno injekcija i surjekcija je bijekcija.

Neka je zadan sustav s n linearnih jednadžbi i n nepoznanica, neka je A matrica sustava, D=det A, Di = determinanta matrice kojoj je i-ti stupac zamijenjen s elementima jednostupčane matrice slobodnih koeficijenata B. Ako je , sustav je određen Ako je , tada imamo mogućnosti: Ako  sustav je kontradiktoran. Ako je postoje sljedeće mogućnosti: sustav [..]

Dijagonalna matrica je kvadratna matrica čiji su elementi izvan glavne dijagonale jednaki 0, tj. . Elementi  nalaze se na glavnoj dijagonali.  Dijagonalna matrica reda n:

Disjunkcija  sudova a i b je sud "a i b" koji je lažan jedino ako su  sudovi a i b lažni.