for A, B being Universal_Algebra holds
( signature A = signature B iff MSSign A = MSSign B )