MSAlgebra(# the Sorts of B, the Charact of B #) is MSSubAlgebra of B by MSUALG_2:38;
then A1: MSAlgebra(# the Sorts of B, the Charact of B #) is MSSubAlgebra of A by MSUALG_2:7;
B is MSSubAlgebra of MSAlgebra(# the Sorts of B, the Charact of B #) by Th19;
hence not SuperAlgebraSet B is empty by A1, Def2; :: thesis: verum