Bukti : misalkan P= { p1 , p2 ,…, pn } dan Q ={q1 ,q2 ,…,qn } maka P∪Q= { p1 , p2 , q1 , q2,…, pn ,qn }, dan

Q∪P= {q1 ,q2 , p1 , p2 ,…,qn , pn } maka dapat kita bahwa P∪Q⊆Q∪P dan Q∪P⊆P∪Q

sehingga dapat dismpulkan P∪Q=Q∪P .