thus SubAlgCl MA is absolutely-multiplicative :: thesis: verum

proof

A1: the Sorts of (SubAlgCl MA) = the Sorts of MA by Def7;
set F = the Family of (SubAlgCl MA);
reconsider SF = SubSort MA as absolutely-multiplicative SubsetFamily of the Sorts of MA by Th16;
the Family of (SubAlgCl MA) = SF by Def7;
hence SubAlgCl MA is absolutely-multiplicative by A1; :: thesis: verum

end;