:: deftheorem Def2 defines empty CATALG_1:def 2 :
for S being non empty ManySortedSign
for A being MSAlgebra over S holds
( A is empty iff the Sorts of A is V3() );