modifica
{ [equivalenza] A=B o A$-=$B se sono perfettamente sovrapposte }
{ [equivalenza] A$cong$B se sono sovrapponibili }
{ [equivalenza] A$stackrel(.)=$B se hanno la stessa superficie }
{ [equivalenza] $cong rarr stackrel(.)=$ }
{ [equivalenza] $stackrel(.)=$ e una relaz. di equivalenza:R,S,T }
{ [equivalenza] Riflessiva: $Astackrel(.)=A$ }
{ [equivalenza] Simmetrica: $Astackrel(.)=B rarr Bstackrel(.)=A$ }
{ [equivalenza] Transitiva: $Astackrel(.)=B,Bstackrel(.)=C rarr Astackrel(.)=C$ }
{ [equivalenza] Commutativa: $A+Bstackrel(.)=B+A$ }
{ [equivalenza] Associativa: $(A+B)+Cstackrel(.)=A+(B+C)$ }
{ [equivalenza] $Somma$ di superfici definita solo se hanno al massimo il contorno in comune }
{ [equivalenza] Differenza $A-B=C harr B+C=A $}
{ [equivalenza] $(Adot=B,Bdot=C) rarr(Adot=C)$ assioma di sostituzione (o transititiva'): posso sostituire ad un angolo uno ad esso $cong$}
{ [equivalenza] $(Adot=kB,Bdot=C) rarr(Adot=kC)$ assioma di sostituzione: posso sostituire ad un angolo uno ad esso $cong$ }
{ [equivalenza] $Astackrel(.)=A',Bstackrel(.)=B',AcapB=A'capB'=O/ rarr A+-Bstackrel(.)=A'+-B'$ somme o differenze di figure a due a due $stackrel(.)=$ sono a loro volta $stackrel(.)=$ }
{ [equivalenza] $Adot=BrarrkAdot=kB$ multipli o sottomultipli di figure tra loro $dot=$ sono a loro volta $dot=$ }
{ [equivalenza] $Astackrel(.)=A',Bstackrel(.)=B' rarr (A+-B)stackrel(.)=(A'+B')$ }
{ [equivalenza] $Astackrel(.)=C,Bstackrel(.)=D rarr (A-B)stackrel(.)=(C-D)$ }
{ [equivalenza] $AcongA',BcongB' rarr (A+-B)cong(A'+-B')$ }
{ [equivalenza] $AcongC,BcongD rarr (A-B)cong(C-D)$}
{ [equivalenza] $A non stackrel(.)= (BsubA)$ una figura non puo' essere equivalente ad una sua parte}
{ [equivalenza] A,B equiscomponibili se somma di figure ordinatamente $cong$}
{ [equivalenza] equiscomponibili $rarr cong$}