:: deftheorem Def5 defines MSAlgebra-Family PRALG_2:def 5 :
for I being set
for S being non empty ManySortedSign
for b₃ being ManySortedSet of I holds
( b₃ is MSAlgebra-Family of I,S iff for i being object st i in I holds
b₃ . i is non-empty MSAlgebra over S );