disjunkcija (latinski), razdvajanje, razdruživanje, rastava. 1. Logička operacija koja se dobije povezivanjem dvaju iskaza A i B s pomoću logičkog veznika ili (latinski: vel) u novi iskaz A ili B koji je istinit ako je, i samo ako je, istinit barem jedan od iskaza A, B ili oba. 2. mat Relacija na skupovima. Skupovi A i B su disjunktivni skupovi ako nemaju zajedničkog elementa, tj. ako je presjek tih skupova prazan skup.