for S, T being Signature st S is empty holds
T is Extension of S