13. tétel
Programozási tételek ismerete
Mutassa be az egyesítés tételének algoritmusát.
-	Rendelkezésre áll egy N és egy M elemű halmaz, az A[] és a B[] vektorban ábrázolva. Készítsük el a két halmaz egyesítését a C vektorba!

Az algoritmus:

Eljárás Unió
Ciklus i:=1-től N-ig
C[i]:=A[i] // először az A[] elemei átkerülnek a C[]-be
Ciklus vége
szamol:=N
Ciklus j:=1-től M-ig
i:=1
Ciklus amíg i<=N és A[i]<>B[j] // B[]-beli elemhez keresünk A[]-ból
i:=i+1
Ciklus vége
Ha i>N akkor //ha nincs közös elem
szamol:=szamol+1
C[szamol]:=B[j] //akkor berakjuk az elemet C[]-be
Elágazás vége
Ciklus vége
Eljárás vége