Answer :
Reminder :
symmetry -> a+b=b+a
association -> (a+b)+c=a+(b+c)
distribution -> a(b+c)=ab+ac
transitivity -> a=X and b=X => a=b
Hence it's D : transitive
symmetry -> a+b=b+a
association -> (a+b)+c=a+(b+c)
distribution -> a(b+c)=ab+ac
transitivity -> a=X and b=X => a=b
Hence it's D : transitive