:: deftheorem Def44 defines degenerated FOMODEL1:def 44 :
for S being ZeroOneStr holds
( S is degenerated iff the ZeroF of S = the OneF of S );