:: deftheorem defines +* AOFA_A00:def 59 :
for S1 being non empty BoolSignature
for S2 being non empty ConnectivesSignature
for A1 being non-empty MSAlgebra over S1
for A2 being non-empty MSAlgebra over S2 holds (S1,A1) +* A2 = A1 +* A2;