for X being StackAlgebra
for S being stack of (X /==) holds
( emp S iff S = the s_empty of X )