sia ( N , |) l'insieme dei numeri naturali con la relazione di ordine parziale data dalla divisibilità.
- verificare che per ogni coppia m,n appartenente ad N esistono z,w tali ke
z|m e z|n
m|w e n|w
-verificare ke le operazioni su ( N,|) definite da A ^ B = inf {A,B} e A v B= sup {A,B}
coincidono rispettivamente con le operazioni di intersezione mcd e di unione mcm
come si fa?