a t i v e ) a d d ( a d d ( x , y ) , z ) = = a d d ( x , a d d ( y , z ) ) ; / / 交换律(c o m m u t a t i v e ) a d d ( x , y ) = = a d d ( y , x ) ; / / 同一律(i d e n t i t y ) a d d ( x , 0 ) = = x ; / / 分配律(d i s t r i b u t i v e ) m u l t i p l y ( x , a d d ( y , z ) ) = = a d d ( m u l t i p l y ( x , y ) , m u l t i p l y ( x , z ) ) ;